Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices

DOI10.1007/s00153-013-0338-7zbMath1294.03045OpenAlexW2089327328MaRDI QIDQ377479

Bin Zhao, Hong Jun Zhou

Publication date: 6 November 2013

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-013-0338-7

zbMATH Keywords

nucleusGlivenko theoremresiduated latticeBosbach stateRiečan state

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Axioms; other general questions in probability (60A05)

Related Items (6)

Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices ⋮ 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
• Borel probabilistic and quantitative logic
• Generalized Bosbach and Riečan states based on relative negations in residuated lattices
• 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)
• Subdirectly irreducible state-morphism BL-algebras
• States on semi-divisible generalized residuated lattices reduce to states on MV-algebras
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
• Residuated lattices. An algebraic glimpse at substructural logics
• MV-algebras with internal states and probabilistic fuzzy logics
• Probability measures in the logic of nilpotent minimum
• The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system)
• Quantitative logic
• State-morphism MV-algebras
• 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
• Integrated semantics and logic metric spaces
• Averaging the truth-value in Łukasiewicz logic
• Generalized Bosbach states. I
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• States on semi-divisible residuated lattices
• Representation and extension of states on MV-algebras
• Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids
• Algebraic Analysis of Many Valued Logics
• Invariant Measures in Free MV-Algebras
• Glivenko like theorems in natural expansions of BCK-logic

This page was built for publication: Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices