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.03081MaRDI 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 filter; finite square intersection property; nilpotent minimum algebras; prime ideal theorem; Stone representation theorem
Related Items
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, Nuclei and conuclei on residuated lattices
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