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
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
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