States on commutative basic algebras (Q427918): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Commutative basic algebras \((A,\oplus , \neg, 0)\) of type \((2,1,0)\) are considered such that \(A\) is an MV-algebra if it is associative. Analogously, as in MV-algebras, a state \(s : A \rightarrow [0, 1]\) is defined. It is proved that a commutative basic algebra \(A\) which is representable (i.e., \(A\) is a subdirect product of linearly ordered commutative basic algebras) and which has a faithfull state \(s : A \rightarrow [0, 1]\) (i.e., \(s(a) = 0 \Rightarrow a = 0)\), is an MV-algebra. | |||
Property / review text: Commutative basic algebras \((A,\oplus , \neg, 0)\) of type \((2,1,0)\) are considered such that \(A\) is an MV-algebra if it is associative. Analogously, as in MV-algebras, a state \(s : A \rightarrow [0, 1]\) is defined. It is proved that a commutative basic algebra \(A\) which is representable (i.e., \(A\) is a subdirect product of linearly ordered commutative basic algebras) and which has a faithfull state \(s : A \rightarrow [0, 1]\) (i.e., \(s(a) = 0 \Rightarrow a = 0)\), is an MV-algebra. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Beloslav Riečan / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6047119 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
commutative basic algebra | |||
Property / zbMATH Keywords: commutative basic algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
MV-algebra | |||
Property / zbMATH Keywords: MV-algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
representability | |||
Property / zbMATH Keywords: representability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
MV-ideal | |||
Property / zbMATH Keywords: MV-ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
state-morphism | |||
Property / zbMATH Keywords: state-morphism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
de Finetti's coherence criterion | |||
Property / zbMATH Keywords: de Finetti's coherence criterion / 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.07.010 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2090883004 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraizable logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An example of a commutative basic algebra which is not an MV-algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Commutative basic algebras and non-associative fuzzy logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5389213 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4807556 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many-valued quantum algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Independence of axiom system of basic algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measures, states and de Finetti maps on pseudo-BCK algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conjunctors and their residual implicators: characterizations and construction methods / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: States on pseudo MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2762622 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5472332 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probabilistic averaging in bounded \(R\ell\)-monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonstandard conjunctions and implications in fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bosbach states on fuzzy structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On copulas, quasicopulas and fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5461181 / 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: The Mathematics of Sentence Structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3846669 / 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: Averaging the truth-value in Łukasiewicz logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bookmaking over infinite-valued events / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant Measures in Free MV-Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4788820 / 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 | States on commutative basic algebras |
scientific article |
Statements
States on commutative basic algebras (English)
0 references
18 June 2012
0 references
Commutative basic algebras \((A,\oplus , \neg, 0)\) of type \((2,1,0)\) are considered such that \(A\) is an MV-algebra if it is associative. Analogously, as in MV-algebras, a state \(s : A \rightarrow [0, 1]\) is defined. It is proved that a commutative basic algebra \(A\) which is representable (i.e., \(A\) is a subdirect product of linearly ordered commutative basic algebras) and which has a faithfull state \(s : A \rightarrow [0, 1]\) (i.e., \(s(a) = 0 \Rightarrow a = 0)\), is an MV-algebra.
0 references
commutative basic algebra
0 references
MV-algebra
0 references
representability
0 references
MV-ideal
0 references
state-morphism
0 references
de Finetti's coherence criterion
0 references
0 references