States on commutative basic algebras
From MaRDI portal
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.
Recommendations
Cites work
- Algebraizable logics
- Algebras on subintervals of BL-algebras, pseudo BL-algebras and bounded residuated -monoids
- An example of a commutative basic algebra which is not an MV-algebra
- Averaging the truth-value in Łukasiewicz logic
- Bookmaking over infinite-valued events
- Bosbach states on fuzzy structures
- Commutative basic algebras and non-associative fuzzy logics
- Conjunctors and their residual implicators: characterizations and construction methods
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- Every state on semisimple MV-algebra is integral
- Finite commutative basic algebras are MV-effect algebras
- scientific article; zbMATH DE number 1688754 (Why is no real title available?)
- scientific article; zbMATH DE number 3179944 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 1857857 (Why is no real title available?)
- scientific article; zbMATH DE number 1912565 (Why is no real title available?)
- scientific article; zbMATH DE number 2187970 (Why is no real title available?)
- Independence of axiom system of basic algebras
- Invariant Measures in Free MV-Algebras
- Many-valued quantum algebras
- Measures, states and de Finetti maps on pseudo-BCK algebras
- Nonstandard conjunctions and implications in fuzzy logic
- On copulas, quasicopulas and fuzzy logic
- Probabilistic averaging in bounded \(R\ell\)-monoids
- States on pseudo MV-algebras
- States on semi-divisible generalized residuated lattices reduce to states on MV-algebras
- The Mathematics of Sentence Structure
Cited in
(21)- Commutative basic algebras and non-associative fuzzy logics
- On non-associative generalizations of MV-algebras and lattice-ordered commutative loops
- Ideals and congruences of basic algebras
- New types of generalized Bosbach states on non-commutative residuated lattices
- States on the current algebra
- 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čan states on non-commutative residuated lattices
- Interior and closure operators on commutative basic algebras
- States on Bold Algebras: Categorical Aspects
- scientific article; zbMATH DE number 3881314 (Why is no real title available?)
- States on skew group rings and fixed rings
- scientific article; zbMATH DE number 6930603 (Why is no real title available?)
- scientific article; zbMATH DE number 6854971 (Why is no real title available?)
- On states and state operators on certain basic algebras
- Hyper commutative basic algebras, hyper MV-algebras, and states
- Algebraic study to generalized Bosbach states on residuated lattices
- States on basic algebras
- Finite commutative basic algebras are MV-effect algebras
- States on implication basic algebras
- The propositional logic induced by means of basic algebras
This page was built for publication: States on commutative basic algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q427918)
