Characterizing Belnap's Logic via De Morgan's Laws
From MaRDI portal
Publication:4857857
DOI10.1002/malq.19950410403zbMath0837.03019MaRDI QIDQ4857857
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
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
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, n-valued maximal paraconsistent matrices, Fuzzy semantics for multiple-conclusion sequential calculi with structural rules, 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, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, The B4-valued propositional Belnap-Dunn logic1
Cites Work