Belnap's Four-Valued Logic and De Morgan Lattices
From MaRDI portal
Publication:4340541
DOI10.1093/jigpal/5.3.1-ezbMath0871.03012MaRDI 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
De Morgan lattice; abstract logic; many valued logic; Belnap's four-valued logic; non-protoalgebraic logic
03G10: Logical aspects of lattices and related structures
03B50: Many-valued logic
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
Related Items
An infinity of super-Belnap logics, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, Four-Valued Logics BD and DM4: Expansions, Natural Deduction for Four-Valued both Regular and Monotonic Logics, Reductio ad contradictionem: an algebraic perspective, Natural dualities through product representations: bilattices and beyond, A Gentzen calculus for nothing but the truth, Bilattices with implications, Categorical abstract algebraic logic: referential algebraic semantics, On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis, Varieties of interlaced bilattices, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Some useful 16-valued logics: How a computer network should think, Neutrosophic logics: Prospects and problems, Selfextensional logics with a conjunction, Taking degrees of truth seriously, The strong version of a sentential 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 \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\), Proof theory of paraconsistent quantum logic, Characterizing finite-valuedness, Nothing but the truth, A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, 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, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, Admissibility in De Morgan algebras, A deterministic weakening of Belnap-Dunn logic, On the closure properties of the class of full G-models of a deductive system, Representation of interlaced trilattices, Beyond Rasiowa's algebraic approach to non-classical logics, Paraconsistent Modal Logics, Consequence and Degrees of Truth in Many-Valued Logic, The B4-valued propositional Belnap-Dunn logic1
