scientific article
From MaRDI portal
Publication:2715515
zbMath0972.03028MaRDI QIDQ2715515
Publication date: 13 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relevance logicnonclassical logicsperp semanticsfour-valued semantics of De Morgan negationintuitonistic logicnegation in orthologicsemantics of negationstar semantics
Other nonclassical logic (03B60) Quantum logic (03G12) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ A paraconsistent conditional logic ⋮ Polarity semantics for negation as a modal operator ⋮ Questions to Michael Dunn ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ 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 ⋮ The Relevance of Relevance to Relevance Logic ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ Logics of upsets of De Morgan lattices ⋮ Moderate anti-exceptionalism and earthborn logic ⋮ Negation and paraconsistent logics ⋮ Popper's Notion of Duality and His Theory of Negations ⋮ Intuitionistic propositional logic with Galois negations ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond ⋮ Bridging the Two Plans in the Semantics for Relevant Logic ⋮ First-Degree Entailment and Structural Reasoning ⋮ Belnap-Dunn modal logic with value operators ⋮ Understanding negation implicationally in the relevant logic R ⋮ There is more to negation than modality ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ On negation for non-classical set theories ⋮ Hyper-contradictions, generalized truth values and logics of truth and falsehood ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ A Semantic Analysis of Stone and Dual Stone Negations with Regularity ⋮ Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics ⋮ Stone algebras: 3-valued logic and rough sets ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research ⋮ Some useful 16-valued logics: How a computer network should think
This page was built for publication:
