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