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

DOI10.1016/j.fss.2011.09.002zbMath1247.03139MaRDI 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 theorem; nonclassical logics; residuated lattice; Cauchy completion; generalized Bosbach/Riečan state; relative negation

Mathematics Subject Classification ID

03G25: Other algebras related to logic

Related Items

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

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