Characterizing Belnap's Logic via De Morgan's Laws

DOI10.1002/MALQ.19950410403MaRDI QIDQ4857857zbMATH OpenOpenAlexFDO

Authors A. P. Pyn'ko

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

Belnap's four-valued sentential logicclosure operatorDe Morgan latticeGentzen-style axiomatizationHilbert-style axiomatizationlogical matrixPriest's logic of paradoxstructural consequence operation

Mathematics Subject Classification ID

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

Recommendations

• Belnap's Four-Valued Logic and De Morgan Lattices
• Belnap's logic and conditional composition
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Classical negation and expansions of Belnap-Dunn logic
• Modal logics with Belnapian truth values

Cites work

• scientific article; zbMATH DE number 67027 (Why is no real title available?)
• Note on a six-valued extension of three-valued logic
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(37)

• 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
• Belnap's logic and conditional composition
• Metasequents and tetravaluations
• Two-sided sequent calculi for \textit{FDE}-like four-valued logics
• Notes on models of (partial) Kripke-Feferman truth
• The \(B_{4}\)-valued propositional Belnap-Dunn logic
• Priest on negation
• 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
• scientific article; zbMATH DE number 2097566 (Why is no real title available?)
• A calculus for Belnap's logic in which each proof consists of two trees
• Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• Belnap constants and Nelson logic
• n-valued maximal paraconsistent matrices
• Dual-Belnap logic and anything but falsehood
• THE LATTICE OF SUPER-BELNAP LOGICS
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• A capacity-based semantics for inconsistency-tolerant inferences
• Editorial introduction
• Application and analysis of multicast blocking modelling in fat-tree data center networks
• Hypersequent calculi for propositional default logics
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
• Proof theory of Nelson's paraconsistent logic: a uniform perspective

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4857857)