An infinity of super-Belnap logics

DOI10.1080/11663081.2012.737154zbMATH Open1398.03112OpenAlexW2076945216MaRDI QIDQ4583174FDOQ4583174

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

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

Cited In (28)

• Priest on negation
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• De Morgan clones and four-valued logics
• On logics of perfect paradefinite algebras
• Logics of upsets of De Morgan lattices
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic
• An algebraic view of super-Belnap logics
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
• Explicating logical independence
• Countably many weakenings of Belnap-Dunn logic
• A deterministic weakening of Belnap-Dunn logic
• Representation of De Morgan and (semi-)Kleene lattices
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• THE LATTICE OF SUPER-BELNAP LOGICS
• Editorial introduction
• The strong version of a sentential logic
• Locally tabular \(\neq \) locally finite
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Hyperfinite logics and non-standard extensions of Boolean algebras
• The value of the one value: \textit{exactly true logic} revisited
• 40 years of FDE: an introductory overview
• First-degree entailment and its relatives
• On extensions of basic propositional logic
• 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
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis

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)