Belnap's Four-Valued Logic and De Morgan Lattices
From MaRDI portal
Publication:4340541
DOI10.1093/jigpal/5.3.1-ezbMath0871.03012OpenAlexW2038185098MaRDI QIDQ4340541
Publication date: 3 September 1997
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/5.3.1-e
Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items
THE LATTICE OF SUPER-BELNAP LOGICS, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, De Morgan clones and four-valued logics, Polarity semantics for negation as a modal operator, Neutrosophic logics: Prospects and problems, Reductio ad contradictionem: an algebraic perspective, Natural dualities through product representations: bilattices and beyond, A Gentzen calculus for nothing but the truth, Representation of De Morgan and (semi-)Kleene lattices, Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning, Paraconsistent metatheory: new proofs with old tools, On residuation in paraorthomodular lattices, Admissibility in De Morgan algebras, Selfextensional logics with a conjunction, Bilattices with implications, Categorical abstract algebraic logic: referential algebraic semantics, Correspondence analysis and automated proof-searching for first degree entailment, An infinity of super-Belnap logics, The strong version of a sentential logic, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, Consequence and Degrees of Truth in Many-Valued Logic, 40 years of FDE: an introductory overview, An algebraic view of super-Belnap logics, Cut elimination, identity elimination, and interpolation in super-Belnap logics, First-degree entailment and its relatives, The B4-valued propositional Belnap-Dunn logic1, The nature of entailment: an informational approach, A deterministic weakening of Belnap-Dunn logic, Abstract algebraic logic. An introductory chapter, Relational semantics for normal topological quasi-Boolean logic, Unnamed Item, PROOF SYSTEMS FOR EXACT ENTAILMENT, A capacity-based semantics for inconsistency-tolerant inferences, Nothing but the truth, On the closure properties of the class of full G-models of a deductive system, Four-Valued Logics BD and DM4: Expansions, Notes on models of (partial) Kripke-Feferman truth, The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\), Varieties of interlaced bilattices, Representation of interlaced trilattices, FDE as a Base for Constructive Logic, First-Degree Entailment and Structural Reasoning, Priest on Negation, Four-valued logics of truth, nonfalsity, exact truth, and material equivalence, Probabilities with gaps and gluts, Belnap-Dunn modal logic with value operators, Proof theory of paraconsistent quantum logic, On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis, A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information, Beyond Rasiowa's algebraic approach to non-classical logics, Non-distributive relatives of ETL and NFL, Natural Deduction for Four-Valued both Regular and Monotonic Logics, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, Characterizing finite-valuedness, Hilbert-style axiomatization of first-degree entailment and a family of its extensions, Taking degrees of truth seriously, Countably many weakenings of Belnap-Dunn logic, Paraconsistent Modal Logics, Containment logics: algebraic completeness and axiomatization, Proof theory of Nelson's paraconsistent logic: a uniform perspective, On prevarieties of logic, Bilattice logic properly displayed, Distributive bilattices from the perspective of natural duality theory., An algebraic study of exactness in partial contexts, Some useful 16-valued logics: How a computer network should think
