Generalized Bosbach and Riečan states based on relative negations in residuated lattices (Q427915): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Hong Jun Zhou / rank | |||
Property / author | |||
Property / author: Bin Zhao / rank | |||
Property / author | |||
Property / author: Bin Zhao / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Hong Jun Zhou / rank | |||
Normal rank | |||
Property / review text | |||
A state, an analogue of a probability measure, on algebraic structures like MV-algebras \(M\) is an additive functional \(s:M \to [0,1]\) such that \(s(1)=1\) and \(s(a\oplus b)= s(a)+s(b)\) whenever \(a\odot b =0.\) In the same way we can define states on pseudo MV-algebras. On BL-algebras we do not have the operation \(\oplus\), and moreover, if we have pseudo BL-algebras, the situation is even more complicated. Therefore, two notions of states were introduced: Riečan states, which imitate the situation for MV-algebras, and Bosbach states. If, for example, a pseudo BL-algebra is good, i.e. two negations commute, these two notions are equivalent. The paper under review continues the study of states in residuated lattices. The authors study two notions of generalized Bosbach states of type I and type II, respectively, and a Riečan state, and they show some relations between them. In addition, several necessary and sufficient conditions for the set of all relatively regular elements are presented, which gives a Glivenko-type result. | |||
Property / review text: A state, an analogue of a probability measure, on algebraic structures like MV-algebras \(M\) is an additive functional \(s:M \to [0,1]\) such that \(s(1)=1\) and \(s(a\oplus b)= s(a)+s(b)\) whenever \(a\odot b =0.\) In the same way we can define states on pseudo MV-algebras. On BL-algebras we do not have the operation \(\oplus\), and moreover, if we have pseudo BL-algebras, the situation is even more complicated. Therefore, two notions of states were introduced: Riečan states, which imitate the situation for MV-algebras, and Bosbach states. If, for example, a pseudo BL-algebra is good, i.e. two negations commute, these two notions are equivalent. The paper under review continues the study of states in residuated lattices. The authors study two notions of generalized Bosbach states of type I and type II, respectively, and a Riečan state, and they show some relations between them. In addition, several necessary and sufficient conditions for the set of all relatively regular elements are presented, which gives a Glivenko-type result. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Anatolij Dvurečenskij / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6047117 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nonclassical logics | |||
Property / zbMATH Keywords: nonclassical logics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
residuated lattice | |||
Property / zbMATH Keywords: residuated lattice / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized Bosbach/Riečan state | |||
Property / zbMATH Keywords: generalized Bosbach/Riečan state / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Cauchy completion | |||
Property / zbMATH Keywords: Cauchy completion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
relative negation | |||
Property / zbMATH Keywords: relative negation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Glivenko theorem | |||
Property / zbMATH Keywords: Glivenko theorem / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.fss.2011.09.002 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1997798171 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Averaging the truth-value in Łukasiewicz logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4788820 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly divisible MV-algebras and product / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every state on semisimple MV-algebra is integral / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant Measures in Free MV-Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric Completions of MV-algebras with States: An Approach to Stochastic Independence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On States on MV-algebras and their Applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bosbach states on fuzzy structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: States on finite monoidal t-norm based algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3620498 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: States on semi-divisible residuated lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: States on semi-divisible generalized residuated lattices reduce to states on MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: MV-algebras with internal states and probabilistic fuzzy logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On varieties of MV-algebras with internal states / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: State-morphism MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: State operators on GMV algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: State BL-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated lattices. An algebraic glimpse at substructural logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4836218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A formal deductive system for fuzzy propositional calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic Analysis of Many Valued Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Similarity Convergence in Residuated Structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convergence in perfect MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5694638 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Glivenko like theorems in natural expansions of BCK-logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A proof of standard completeness for Esteva and Godo's logic MTL / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On equivalent forms of fuzzy logic systems NM and IMTL / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5472332 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5308895 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:16, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized Bosbach and Riečan states based on relative negations in residuated lattices |
scientific article |
Statements
Generalized Bosbach and Riečan states based on relative negations in residuated lattices (English)
0 references
18 June 2012
0 references
A state, an analogue of a probability measure, on algebraic structures like MV-algebras \(M\) is an additive functional \(s:M \to [0,1]\) such that \(s(1)=1\) and \(s(a\oplus b)= s(a)+s(b)\) whenever \(a\odot b =0.\) In the same way we can define states on pseudo MV-algebras. On BL-algebras we do not have the operation \(\oplus\), and moreover, if we have pseudo BL-algebras, the situation is even more complicated. Therefore, two notions of states were introduced: Riečan states, which imitate the situation for MV-algebras, and Bosbach states. If, for example, a pseudo BL-algebra is good, i.e. two negations commute, these two notions are equivalent. The paper under review continues the study of states in residuated lattices. The authors study two notions of generalized Bosbach states of type I and type II, respectively, and a Riečan state, and they show some relations between them. In addition, several necessary and sufficient conditions for the set of all relatively regular elements are presented, which gives a Glivenko-type result.
0 references
nonclassical logics
0 references
residuated lattice
0 references
generalized Bosbach/Riečan state
0 references
Cauchy completion
0 references
relative negation
0 references
Glivenko theorem
0 references
0 references
0 references
0 references