An infinity of super-Belnap logics

DOI10.1080/11663081.2012.737154MaRDI QIDQ4583174zbMATH OpenOpenAlexFDO

Authors 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 latticesextensions of Belnap logicnon-protoalgebraic logicsstrong Kleene logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• An algebraic view of super-Belnap logics
• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• Two, three, four, infinity: the path to the four-valued logic and beyond
• Modal logics with Belnapian truth values
• The normal and self-extensional extension of Dunn-Belnap logic

Cites work

• A non-finitely based quasi-variety of De Morgan algebras
• Algebraizable logics
• An algebraic approach to non-classical logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Characterizing Belnap's Logic via De Morgan's Laws
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 46852 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 6157349 (Why is no real title available?)
• Implicational classes of De Morgan lattices
• Lattices and topological spaces
• Nothing but the truth
• On Priest's logic of paradox
• Quantifiers on distributive lattices
• Reasoning with logical bilattices
• The logic of paradox
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(30)

• The strong version of a sentential logic
• Locally tabular 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
• Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions
• Deciding simple infinity axiom sets with one binary relation by means of superpostulates
• Representation of De Morgan and (semi-)Kleene lattices
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Explicating logical independence
• Countably many weakenings of Belnap-Dunn logic
• A deterministic weakening of Belnap-Dunn logic
• On extensions of basic propositional logic
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Priest on negation
• Hyperfinite logics and non-standard extensions of Boolean algebras
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• THE LATTICE OF 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
• Editorial introduction
• On logics of perfect paradefinite algebras
• A gentle introduction to the Leibniz hierarchy
• Adding an implication to logics of perfect paradefinite algebras
• De Morgan clones and four-valued logics

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

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