Title
Stone-like representation theorems and three-valued filters in R0- algebras (nilpotent minimum algebras)
Abstract
Nilpotent minimum algebras (NM-algebras) are algebraic counterpart of a formal deductive system where conjunction is modeled by the nilpotent minimum t-norm, a logic also independently introduced by Guo-Jun Wang in the mid 1990s. Such algebras are to this logic just what Boolean algebras are to the classical propositional logic. In this paper, by introducing respectively the Stone topology and a three-valued fuzzy Stone topology on the set of all maximal filters in an NM-algebra, we first establish two analogues for an NM-algebra of the well-known Stone representation theorem for a Boolean algebra, 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. Then we introduce the notions of Boolean filter and of three-valued filter in an NM-algebra, and finally we prove that three-valued filters and closed subsets of the Stone space of an NM-algebra are in one-to-one correspondence and Boolean filters uniquely correspond to closed subsets of the subspace consisting of all ultrafilters.
Year
DOI
Venue
2011
10.1016/j.fss.2010.09.005
Fuzzy Sets and Systems
Keywords
Field
DocType
three-valued fuzzy stone topology,stone topology,three-valued fuzzy stone space,closed subsets,stone space,stone-like representation theorem,well-known stone representation theorem,three-valued filter,boolean algebra,boolean skeleton,boolean filter,nilpotent minimum algebra,prime ideal theorem
Interior algebra,Discrete mathematics,Stone's representation theorem for Boolean algebras,Combinatorics,Boolean algebras canonically defined,Boolean algebra,Boolean prime ideal theorem,Stone duality,Mathematics,Complete Boolean algebra,Free Boolean algebra
Journal
Volume
Issue
ISSN
162
1
Fuzzy Sets and Systems
Citations 
PageRank 
References 
14
0.69
32
Authors
2
Name
Order
Citations
PageRank
Hongjun Zhou110110.08
Bin Zhao2423.92