Template:Non-classical logic

v t e Non-classical logic
Intuitionistic	Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory
Fuzzy	Degree of truth Fuzzy rule Fuzzy set Fuzzy finite element Fuzzy set operations
Substructural	Structural rule Relevance logic Linear logic
Paraconsistent	Dialetheism
Description	Ontology (computer science) Ontology language
Many-valued	Three-valued Four-valued Łukasiewicz
Digital logic	Three-state logic Tri-state buffer Four-valued Verilog IEEE 1164 VHDL
Others	Dynamic semantics Inquisitive logic Intermediate logic Non-monotonic logic

Template documentation

This template's initial visibility currently defaults to autocollapse, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.

To change this template's initial visibility, the |state= parameter may be used:

{{Non-classical logic|state=collapsed}} will show the template collapsed, i.e. hidden apart from its title bar.
{{Non-classical logic|state=expanded}} will show the template expanded, i.e. fully visible.

v t e Logic templates
Types of logic	Classical logic Mathematical logic Metalogic Non-classical logic Philosophical logic
Other templates	Common logical symbols Logical connectives Logical paradoxes Logical truth Set theory Transformation rules Normal forms Diagrams
Logic navbar

Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages.
Subpages of this template.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Template:Non-classical_logic&oldid=1211236797"