Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical...

paraconsistent logic has been dubbed paraconsistency, which encompasses the school of dialetheism. In classical logic (as well as intuitionistic logic and most...

Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the...

In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent...

in modal logic. The method of forcing is employed in set theory, model theory, and recursion theory, as well as in the study of intuitionistic mathematics...

to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because...

In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer and...

connectives "and" and "or" of intuitionistic logic do not satisfy de Morgan's laws as they do in classical logic. Intuitionistic logic substitutes constructability...

classical logic, negation is normally identified with the truth function that takes truth to falsity (and vice versa). In intuitionistic logic, according...

notions of intuitionistic truth values, see the Brouwer–Heyting–Kolmogorov interpretation and Intuitionistic logic § Semantics. Multi-valued logics (such as...