Generalized Bosbach and Riečan states based on relative negations in residuated lattices
From MaRDI portal
Publication:427915
DOI10.1016/j.fss.2011.09.002zbMath1247.03139MaRDI QIDQ427915
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
Glivenko theorem; nonclassical logics; residuated lattice; Cauchy completion; generalized Bosbach/Riečan state; relative negation
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, 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