Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 09:15, 30 January 2024
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