THE LATTICE OF SUPER-BELNAP LOGICS

DOI10.1017/S1755020321000204MaRDI QIDQ5880424

Adam Přenosil

Publication date: 2 March 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2111.09818

zbMATH Keywords

abstract algebraic logicfour-valued logicparaconsistent logicBelnap-Dunn logicKleene logiclogic of paradox

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Equational classes, universal algebra in model theory (03C05) Abstract algebraic logic (03G27)

Related Items (6)

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 value of the one value: \textit{exactly true logic} revisited ⋮ Logics of upsets of De Morgan lattices ⋮ A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The proof by cases property and its variants in structural consequence relations
• Positive universal classes in locally finite varieties
• Residuated lattices. An algebraic glimpse at substructural logics
• Reduced products of logical matrices
• Theory of logical calculi. Basic theory of consequence operations
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• The logic of paradox
• Implicational classes of De Morgan lattices
• Lattices of quasivarieties of 3-element algebras
• A survey of abstract algebraic logic
• An algebraic view of super-Belnap logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Nothing but the truth
• Contradictory information: too much of a good thing
• A warning about the choice of primitive operators in modal logic
• Some characterization theorems for infinitary universal Horn logic without equality
• Graph Theory and Probability
• Natural Language Versus Formal Language
• The lattice of modal logics: an algebraic investigation
• Coproducts of De Morgan algebras
• Belnap's Four-Valued Logic and De Morgan Lattices
• Subprevarieties versus extensions. Application to the logic of paradox
• Outline of a Theory of Truth
• An infinity of super-Belnap logics
• Characterizing Belnap's Logic via De Morgan's Laws
• LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’
• Lattices With Involution
• On notation for ordinal numbers
• Protoalgebraic logics

This page was built for publication: THE LATTICE OF SUPER-BELNAP LOGICS