Generalized Bosbach and Riečan states based on relative negations in residuated lattices

DOI10.1016/j.fss.2011.09.002zbMath1247.03139OpenAlexW1997798171MaRDI QIDQ427915

Bin Zhao, Hong Jun Zhou

Publication date: 18 June 2012

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2011.09.002

zbMATH Keywords

Glivenko theoremnonclassical logicsresiduated latticeCauchy completiongeneralized Bosbach/Riečan staterelative negation

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (13)

Generalized Bosbach states. I ⋮ Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices ⋮ Generalized Bosbach states. II ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ Relative negations in non-commutative fuzzy structures ⋮ On the reflective and coreflective subcategory of stratified \(L\)-Čech closure spaces ⋮ Lattice and metric completions of the classical logic metric space and a comparison1 ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ Algebraic study to generalized Bosbach states on residuated lattices ⋮ New types of generalized Bosbach states on non-commutative residuated lattices ⋮ Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices ⋮ On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices ⋮ The existence of states based on Glivenko semihoops

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• State operators on GMV algebras
• State BL-algebras
• States on finite monoidal t-norm based algebras
• Bosbach states on fuzzy structures
• Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
• States on semi-divisible generalized residuated lattices reduce to states on MV-algebras
• Every state on semisimple MV-algebra is integral
• Residuated lattices. An algebraic glimpse at substructural logics
• MV-algebras with internal states and probabilistic fuzzy logics
• On varieties of MV-algebras with internal states
• State-morphism MV-algebras
• Convergence in perfect MV-algebras
• Weakly divisible MV-algebras and product
• Metamathematics of fuzzy logic
• 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
• A proof of standard completeness for Esteva and Godo's logic MTL
• Averaging the truth-value in Łukasiewicz logic
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• States on semi-divisible residuated lattices
• Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids
• On States on MV-algebras and their Applications
• Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
• Algebraic Analysis of Many Valued Logics
• Invariant Measures in Free MV-Algebras
• Glivenko like theorems in natural expansions of BCK-logic
• Similarity Convergence in Residuated Structures

This page was built for publication: Generalized Bosbach and Riečan states based on relative negations in residuated lattices