Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
scientific article

    Statements

    Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (English)
    0 references
    0 references
    0 references
    31 January 2011
    0 references
    Nilpotent minimum algebras (NM-algebras) are the algebraic counterpart of a formal deductive system where the conjunction is modeled by the nilpotent minimum t-norm. These algebras are to this logic just what Boolean algebras are to classical propositional logic. In this paper, the authors establish for NM-algebras two analogues of the well-known Stone representation theorem for Boolean algebras, which state that the Boolean skeleton of an NM-algebra is isomorphic to the algebra of all clopen subsets of its Stone space, and the three-valued skeleton is isomorphic to the algebra of all clopen fuzzy subsets of its three-valued fuzzy Stone space, respectively.
    0 references
    0 references
    0 references
    nilpotent minimum algebras
    0 references
    finite square intersection property
    0 references
    prime ideal theorem
    0 references
    maximal filter
    0 references
    Stone representation theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references