English

De Morgan clones and four-valued logics

Logic 2021-11-19 v1

Abstract

We study clones on a four-element set related to the clone DMA\mathsf{DMA} of all term functions of the sub\-directly irreducible four-element De~Morgan algebra DM4\mathbf{DM_{4}}. We find generating sets for the clones of all functions preserving the subalgebras of DM4\mathbf{DM_{4}}, the auto\-morphisms of~DM4\mathbf{DM_{4}}, the truth order and the information order on DM4\mathbf{DM_{4}}, as well as clones defined by conjunctions of these conditions. We identify the covers of DMA\mathsf{DMA} in the lattice of four-valued clones and describe the lattice of clones above DMA\mathsf{DMA} which contain the discriminator function. Finally, observing that each clone above DMA\mathsf{DMA} 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.

Cite

@article{arxiv.2111.09830,
  title  = {De Morgan clones and four-valued logics},
  author = {Adam Přenosil},
  journal= {arXiv preprint arXiv:2111.09830},
  year   = {2021}
}

Comments

42 pages, 10 figures

R2 v1 2026-06-24T07:43:51.689Z