Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
From MaRDI portal
Publication:377479
DOI10.1007/s00153-013-0338-7zbMath1294.03045MaRDI QIDQ377479
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
03G25: Other algebras related to logic
06F05: Ordered semigroups and monoids
60A05: Axioms; other general questions in probability
Related Items
Algebraic study to generalized Bosbach states on residuated lattices, New types of generalized Bosbach states on non-commutative residuated lattices, The existence of states based on Glivenko semihoops, On the relationships between hybrid generalized Bosbach states and \(L\)-filters in non-commutative residuated lattices, Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices, Hybrid generalized Bosbach and Rie c̆ an states on non-commutative residuated lattices
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
