De Morgan clones and four-valued logics (Q829759): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q466879
RedirectionBot (talk | contribs)
Changed an Item
Property / reviewed by
 
Property / reviewed by: Jānis Cīrulis / rank
 
Normal rank

Revision as of 06:37, 15 February 2024

scientific article
Language Label Description Also known as
English
De Morgan clones and four-valued logics
scientific article

    Statements

    De Morgan clones and four-valued logics (English)
    0 references
    0 references
    6 May 2021
    0 references
    A De Morgan clone is a clone over the four-element set DM\(_4\) := \(\{t,f,n,b\}\). This is the set of truth values of Benap-Dunn's four-valued logic [\textit{N. D. Belnap jun.}, in: Mod. Uses of multiple-valued Logic, 5th int. Symp., Bloomington 1975, 5--37 (1977; Zbl 0424.03012)], known also as the logic of first order entailment [\textit{J. M. Dunn}, Philos. Stud. 29, No. 3, 149--168 (1976; Zbl 1435.03043)]. The De Morgan algebra is the algebra \textbf{DM}\(_4\) := (DM\(_4, \lor,\land,t,f,-)\) where \( \lor\) and \(\land\) are the lattice operations w.r.t. the so called truth order given by \(f \le b \le t\), \(f \le n \le t\) and the operation \(-\) is defined by \(-t = f\), \(-f = t\), \(-n = n\), \(-b = b\). \textsf{DMA} is the clone of all term functions of \textbf{DM}\(_4\). In the paper, generating sets are found for the clones of all functions that preserve the subalgebras of \textbf{DM}\(_4\), the automorphisms of \textbf{DM}\(_4\), the truth ordering of DM\(_4\), the information ordering of DM\(_4\) and also for some combinations of these. Described are also clones that fail to preserve some of this structure. It is shown that \textsf{DMA} has exactly three covers in the lattice of all four-valued clones, and described is the lattice of all De Morgan clones above \textsf{DMA} which contain a discriminator function. Each of the latter clones determine an expansion of the Belnap-Dunn logic by additional connectives, and the author provides a classification of these clones by the metalogical properties of correspondding logics, namely, by their position in the Leibniz and Frege hierarchies.
    0 references
    abstract algebraic logic
    0 references
    Balnap-Dunn logic
    0 references
    clone theory
    0 references
    four-valued logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references