Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
From MaRDI portal
Publication:622081
DOI10.1016/j.fss.2010.09.005zbMath1213.03081OpenAlexW1986679906MaRDI QIDQ622081
Publication date: 31 January 2011
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2010.09.005
maximal filterfinite square intersection propertynilpotent minimum algebrasprime ideal theoremStone representation theorem
Other algebras related to logic (03G25) Stone spaces (Boolean spaces) and related structures (06E15)
Related Items
Several types of filters related to the Stonean axiom in residuated lattices ⋮ Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices ⋮ Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ Prime fuzzy (implicative) MP-filters of R0-algebras ⋮ Algebraic structures related to nilpotent minimum algebras and rough sets1 ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ Some further results about uninorms on bounded lattices ⋮ Characterizations of fuzzy ideals in coresiduated lattices ⋮ Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) ⋮ Nuclei and conuclei on residuated lattices ⋮ The lattice of prefilters of an EQ-algebra ⋮ Normal unisoft filters in -algebras ⋮ On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices ⋮ The properties of \(\models\)-filters of a topological system ⋮ Some weaker versions of topological residuated lattices ⋮ Stone algebras: 3-valued logic and rough sets
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Normal forms and free algebras for some extensions of MTL
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- Unified forms of fully implicational restriction methods for fuzzy reasoning
- Filters of \(R_{0}\)-algebras
- Boolean representation of bounded BCK-algebras
- Minimally generated Boolean algebras
- Fuzzy set representations of some quantum structures
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A formal deductive system for fuzzy propositional calculus
- On equivalent forms of fuzzy logic systems NM and IMTL
- Triple I method of fuzzy reasoning
- Formalized theory of general fuzzy reasoning.
- Boolean products of BL-algebras
- Constructions of some quantum structures and fuzzy effect space
- \(R _{0}\) implication: Characteristics and applications
- A triangular-norm-based propositional fuzzy logic
- A characterization of truth-functions in the nilpotent minimum logic
- Boolean products of MV-algebras: hypernormal MV-algebras
- \(L\)-fuzzy version of Stone's representation theorem for distributive lattices
- On the logic foundation of fuzzy reasoning
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
- Boolean filters and positive implicative filters of residuated lattices
- Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras
- Unified forms of Triple I method
- Fuzzy implicative and Boolean filters of \(R_{0}\) algebras
- Simplification and independence of axioms of fuzzy logic systems IMTL and NM
- Fuzzy Boolean and positive implicative filters of BL-algebras
- Undefinability of min-conjunction in MTL
- Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids
- Fuzzy filters of MTL-algebras
- Fuzzy filters of BL-algebras
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- The effect of season and weather on physical activity: A systematic review
- Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
- Involutive monoidalt-norm based logic andR0 logic
- Glivenko like theorems in natural expansions of BCK-logic
- Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
- Free nilpotent minimum algebras
- On Some Varieties of MTL-algebras
- The Theory of Representation for Boolean Algebras
- Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras
- Boolean deductive systems of BL-algebras