Template: Non-classical logic

{{Navbox
| name = Non-classical logic
| state = {{{state|{{{1|<noinclude>expanded</noinclude>}}}}}}
| title = [[Non-classical logic]]
| listclass = hlist

| group1 = [[Intuitionism|Intuitionistic]]
| list1 =
* [[Intuitionistic logic]]
* [[Constructive analysis]]
* [[Heyting arithmetic]]
* [[Intuitionistic type theory]]
* [[Constructive set theory]]

| group2 = [[Fuzzy logic|Fuzzy]]
| list2 =
* [[Degree of truth]]
* [[Fuzzy rule]]
* [[Fuzzy set]]
* [[Fuzzy finite element]]
* [[Fuzzy set operations]]

| group3 = [[Substructural logic|Substructural]]
| list3 =
* [[Structural rule]]
* [[Relevance logic]]
* [[Linear logic]]

| group4 = [[Paraconsistent logic|Paraconsistent]]
| list4 =
* [[Dialetheism]]

| group5 = [[Description logic|Description]]
| list5 =
* [[Ontology (computer science)]]
* [[Ontology language]]

| group6 = [[Many-valued logic|Many-valued]]
| list6 =
* [[Three-valued logic|Three-valued]]
* [[Four-valued logic|Four-valued]]
* [[Łukasiewicz logic|Łukasiewicz]]

| group7 = [[Logic synthesis|Digital logic]]
| list7 =
* [[Three-state logic]]
** [[Tri-state buffer]]
* [[Four-valued logic|Four-valued]]
** [[Verilog]]
* [[IEEE 1164]]
** [[VHDL]]

| group8 = Others
| list8 =
* [[Dynamic semantics]]
* [[Inquisitive semantics|Inquisitive logic]]
* [[Intermediate logic]]
* [[Non-monotonic logic]]

}}<noinclude>
{{Documentation
 | content =
{{Collapsible option |statename=optional}}

{{Logic templates}}

[[Category:Logic templates]]
}}<!--(end Documentation)-->
</noinclude>