Publication:2715515
From MaRDI portal
zbMath0972.03028MaRDI QIDQ2715515
Publication date: 13 November 2001
relevance logic; nonclassical logics; perp semantics; four-valued semantics of De Morgan negation; intuitonistic logic; negation in orthologic; semantics of negation; star semantics
03B60: Other nonclassical logic
03G12: Quantum logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Dual intuitionistic logic and a variety of negations: the logic of scientific research, Some useful 16-valued logics: How a computer network should think, Data structures for symbolic multi-valued model-checking, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Hyper-contradictions, generalized truth values and logics of truth and falsehood