De Morgan clones and four-valued logics

DOI10.1007/S00012-021-00726-5zbMATH Open1473.03045arXiv2111.09830OpenAlexW3156677573MaRDI QIDQ829759FDOQ829759

Authors: Adam Přenosil 

Publication date: 6 May 2021

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: We study clones on a four-element set related to the clone $mathsfDMA$ of all term functions of the sub-directly irreducible four-element De~Morgan algebra $mathbfD{M}_4$. We find generating sets for the clones of all functions preserving the subalgebras of $mathbfD{M}_4$, the auto-morphisms of~$mathbfD{M}_4$, the truth order and the information order on $mathbfD{M}_4$, as well as clones defined by conjunctions of these conditions. We identify the covers of $mathsfDMA$ in the lattice of four-valued clones and describe the lattice of clones above $mathsfDMA$ which contain the discriminator function. Finally, observing that each clone above $mathsfDMA$ defines an expansion of the four-valued Belnap--Dunn logic, we classify these clones by their metalogical properties, specifically by their position within the Leibniz and Frege hierarchies of abstract algebraic logic.

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

Recommendations

• Belnap's Four-Valued Logic and De Morgan Lattices
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
• An algebraic view of super-Belnap logics
• New essays on Belnap-Dunn logic
• scientific article; zbMATH DE number 5872210
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
• An infinity of super-Belnap logics

zbMATH Keywords

abstract algebraic logicfour-valued logicclone theoryBalnap-Dunn logic

Mathematics Subject Classification ID

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

Cites Work

• The logic of paradox
• Title not available (Why is that?)
• Title not available (Why is that?)
• An introduction to non-classical logic. From if to is
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Intuitive semantics for first-degree entailments and `coupled trees'
• A short introduction to clones.
• The proof by cases property and its variants in structural consequence relations
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Protoalgebraic logics
• Selfextensional logics with a conjunction
• The value of the four values
• Reasoning with logical bilattices
• The logic of distributive bilattices
• Belnap's Four-Valued Logic and De Morgan Lattices
• Classical negation and expansions of Belnap-Dunn logic
• Abstract algebraic logic. An introductory textbook
• Title not available (Why is that?)
• An abstract algebraic logic approach to tetravalent modal logics
• An expansion of first-order Belnap-Dunn logic
• On the expressive power of three-valued and four-valued languages
• Title not available (Why is that?)
• Introduction to the special issue on algebraic logic
• Self-extensional three-valued paraconsistent logics
• Four-valued paradefinite logics
• Theory of effective propositional paraconsistent logics

Cited In (7)

• Belnap's Four-Valued Logic and De Morgan Lattices
• Title not available (Why is that?)
• О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE
• Classification of the Maximal Clones of Two-Valued Logic
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: De Morgan clones and four-valued logics

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