Characterizing Belnap's Logic via De Morgan's Laws

DOI10.1002/malq.19950410403zbMath0837.03019OpenAlexW2052185876MaRDI QIDQ4857857

Alexej P. Pynko

Publication date: 13 May 1996

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19950410403

zbMATH Keywords

closure operatorDe Morgan latticelogical matrixPriest's logic of paradoxHilbert-style axiomatizationstructural consequence operationGentzen-style axiomatizationBelnap's four-valued sentential logic

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Abstract deductive systems (03B22)

Related Items (29)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ An infinity of super-Belnap logics ⋮ A simple sequent calculus for Angell's logic of analytic containment ⋮ 40 years of FDE: an introductory overview ⋮ An algebraic view of super-Belnap logics ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ The B4-valued propositional Belnap-Dunn logic1 ⋮ Metasequents and tetravaluations ⋮ A capacity-based semantics for inconsistency-tolerant inferences ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) ⋮ n-valued maximal paraconsistent matrices ⋮ Priest on Negation ⋮ Application and analysis of multicast blocking modelling in fat-tree data center networks ⋮ Proof theory of paraconsistent quantum logic ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ Fuzzy semantics for multiple-conclusion sequential calculi with structural rules ⋮ Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations ⋮ Implicational classes of De Morgan lattices ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Subprevarieties versus extensions. Application to the logic of paradox

Cites Work

• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• Note on a six-valued extension of three-valued logic

This page was built for publication: Characterizing Belnap's Logic via De Morgan's Laws