Opening book details…
Can I read De Morgan clones and four-valued logics on EtoBox?
De Morgan clones and four-valued logics by Adam Přenosil is a Computer Science article available to read on EtoBox.
What is De Morgan clones and four-valued logics about?
We study clones on a four-element set related to the clone DMA of all term functions of the subdirectly irreducible four-element De Morgan algebra DM4. We find generating sets for the clones of all functions preserving the subalgebras of DM4, the automorphisms of DM4, the truth order and the information order on DM4, as well as clones defined by conjunctions of these conditions. We identify the covers of DMA in the lattice of four-valued clones and describe the lattice of clones above DMA which contain the discriminator function. Finally, observing that each clone above 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.
Who reads De Morgan clones and four-valued logics?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Adam Přenosil
- Publisher
- Springer Science and Business Media LLC
- Published
- 2021
- Language
- EN
- Field
- Computer Science (Physical Sciences)