Characterizing Belnap's Logic via De Morgan's Laws

DOI10.1002/malq.19950410403zbMath0837.03019MaRDI 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 operator; De Morgan lattice; logical matrix; Priest's logic of paradox; Hilbert-style axiomatization; structural consequence operation; Gentzen-style axiomatization; Belnap's four-valued sentential logic

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

03B50: Many-valued logic

06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)

03B22: Abstract deductive systems

Related Items

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

Cites Work

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