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

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.