Characterizing Belnap's Logic via De Morgan's Laws

DOI10.1002/MALQ.19950410403zbMATH Open0837.03019OpenAlexW2052185876MaRDI QIDQ4857857

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

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

Mathematics Subject Classification ID

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

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Note on a six-valued extension of three-valued logic
• Title not available (Why is that?)

Cited In (30)

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

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)