An infinity of super-Belnap logics

DOI10.1080/11663081.2012.737154zbMath1398.03112OpenAlexW2076945216MaRDI QIDQ4583174

Umberto Rivieccio

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2012.737154

zbMATH Keywords

abstract algebraic logicDe Morgan latticesstrong Kleene logicnon-protoalgebraic logicsextensions of Belnap logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (22)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ The strong version of a sentential logic ⋮ Locally tabular \(\neq \) locally finite ⋮ 40 years of FDE: an introductory overview ⋮ An algebraic view of super-Belnap logics ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ First-degree entailment and its relatives ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ Logics of upsets of De Morgan lattices ⋮ A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Priest on Negation ⋮ Four-valued logics of truth, nonfalsity, exact truth, and material equivalence ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ Hilbert-style axiomatization of first-degree entailment and a family of its extensions ⋮ Explicating logical independence ⋮ Countably many weakenings of Belnap-Dunn logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantifiers on distributive lattices
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• The logic of paradox
• Implicational classes of De Morgan lattices
• A non-finitely based quasi-variety of De Morgan algebras
• Reasoning with logical bilattices
• Nothing but the truth
• Lattices and topological spaces
• Algebraizable logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Characterizing Belnap's Logic via De Morgan's Laws
• On Priest's logic of paradox

This page was built for publication: An infinity of super-Belnap logics