State operators on generalizations of fuzzy structures (Q427916): Difference between revisions

Bounded residuated lattice-ordered monoids \(M\) are studied. They contain as special cases pseudo-BL-algebras, pseudo-MV-algebras and, consequently, BL-algebras and MV-algebras. Two types of morphisms \(\sigma : M \rightarrow M\) are considered, so-called state operators and strong state operators, and connections between them. Moreover, states \(\sigma : M \rightarrow [0, 1]\) are studied and a bijection between \(\sigma\)-compatible states on \(M\) and states on \(\sigma (M )\) is discovered.

0 references

reviewed by

Beloslav Riečan

0 references

zbMATH Keywords

algebras of fuzzy logics

0 references

residuated lattice

0 references

state operator

0 references

state-morphism operator

0 references

subdirectly irreducible algebras

0 references

generators of varieties

0 references

describes a project that uses

Pseudo Hoops

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.fss.2011.05.023

0 references

cites work

Q4083730

0 references

Algebraizable logics

0 references

THE STRUCTURE OF RESIDUATED LATTICES

0 references

Algebraic foundations of many-valued reasoning

0 references

The radical of a perfect residuated structure

0 references

State BL-algebras

0 references

State-morphism MV-algebras

0 references

On some classes of state-morphism MV-algebras

0 references

On varieties of MV-algebras with internal states

0 references

Q4804772

0 references

Q4804773

0 references

States on pseudo MV-algebras

0 references

Pseudo MV-algebras are intervals in ℓ-groups

0 references

Aglianò-Montagna type decomposition of linear pseudo hoops and its applications

0 references

Subdirectly irreducible state-morphism BL-algebras

0 references

On the structure of pseudo BL-algebras and pseudo hoops in quantum logics

0 references

Bounded commutative residuated \(\ell\)-monoids with general comparability and states

0 references

Probabilistic averaging in bounded \(R\ell\)-monoids

0 references

Q3421448

0 references

A logic for reasoning about the probability of fuzzy events

0 references

MV-algebras with internal states and probabilistic fuzzy logics

0 references

Bosbach states on fuzzy structures

0 references

Q4542634

0 references

Some classes of pseudo-BL algebras

0 references

Q5692888

0 references

Q4266133

0 references

Q3717102

0 references

Metamathematics of fuzzy logic

0 references

Observations on non-commutative fuzzy logic

0 references

Q3508717

0 references

Q5693612

0 references

Every state on semisimple MV-algebra is integral

0 references

Q4291523

0 references

De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic

0 references

Non-commutative Łukasiewicz propositional logic

0 references

Averaging the truth-value in Łukasiewicz logic

0 references

Invariant Measures in Free MV-Algebras

0 references

A non-commutative generalization of MV-algebras

0 references

Q5472337

0 references

State operators on GMV algebras

0 references

Q4788820

0 references

Identifiers

zbMATH Open document ID

1266.03071

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

10.1016/J.FSS.2011.05.023

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:427916

@@ Property / DOI @@
-.1016/j.fss.2011.05.023
@@ Property / DOI: 10.1016/j.fss.2011.05.023 / rank @@
-Normal rank
@@ Property / review text @@
+Bounded residuated lattice-ordered monoids \(M\) are studied. They contain as special cases pseudo-BL-algebras, pseudo-MV-algebras and, consequently, BL-algebras and MV-algebras. Two types of morphisms \(\sigma : M \rightarrow M\) are considered, so-called state operators and strong state operators, and connections between them. Moreover, states \(\sigma : M \rightarrow [0, 1]\) are studied and a bijection between \(\sigma\)-compatible states on \(M\) and states on \(\sigma (M )\) is discovered.
+Normal rank
@@ Property / reviewed by @@
+Beloslav Riečan
@@ Property / reviewed by: Beloslav Riečan / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G25
@@ Property / Mathematics Subject Classification ID: 03G25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D35
@@ Property / Mathematics Subject Classification ID: 06D35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F05
@@ Property / Mathematics Subject Classification ID: 06F05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6047118
@@ Property / zbMATH DE Number: 6047118 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebras of fuzzy logics
@@ Property / zbMATH Keywords: algebras of fuzzy logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+residuated lattice
@@ Property / zbMATH Keywords: residuated lattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+state operator
@@ Property / zbMATH Keywords: state operator / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+state-morphism operator
@@ Property / zbMATH Keywords: state-morphism operator / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+subdirectly irreducible algebras
@@ Property / zbMATH Keywords: subdirectly irreducible algebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generators of varieties
@@ Property / zbMATH Keywords: generators of varieties / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59288462
@@ Property / Wikidata QID: Q59288462 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pseudo Hoops
@@ Property / describes a project that uses: Pseudo Hoops / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.fss.2011.05.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2003822008
@@ Property / OpenAlex ID: W2003822008 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The radical of a perfect residuated structure
@@ Property / cites work: The radical of a perfect residuated structure / rank @@
+Normal rank
@@ Property / cites work @@
+State BL-algebras
@@ Property / cites work: State BL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+State-morphism MV-algebras
@@ Property / cites work: State-morphism MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On some classes of state-morphism MV-algebras
@@ Property / cites work: On some classes of state-morphism MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On varieties of MV-algebras with internal states
@@ Property / cites work: On varieties of MV-algebras with internal states / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804772
@@ Property / cites work: Q4804772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804773
@@ Property / cites work: Q4804773 / rank @@
+Normal rank
@@ Property / cites work @@
+States on pseudo MV-algebras
@@ Property / cites work: States on pseudo MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo MV-algebras are intervals in ℓ-groups
@@ Property / cites work: Pseudo MV-algebras are intervals in ℓ-groups / rank @@
+Normal rank
@@ Property / cites work @@
+Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
+Normal rank
@@ Property / cites work @@
+Subdirectly irreducible state-morphism BL-algebras
+Normal rank
@@ Property / cites work @@
+On the structure of pseudo BL-algebras and pseudo hoops in quantum logics
+Normal rank
@@ Property / cites work @@
+Bounded commutative residuated \(\ell\)-monoids with general comparability and states
+Normal rank
@@ Property / cites work @@
+Probabilistic averaging in bounded \(R\ell\)-monoids
+Normal rank
@@ Property / cites work @@
+Q3421448
@@ Property / cites work: Q3421448 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about the probability of fuzzy events
+Normal rank
@@ Property / cites work @@
+MV-algebras with internal states and probabilistic fuzzy logics
+Normal rank
@@ Property / cites work @@
+Bosbach states on fuzzy structures
@@ Property / cites work: Bosbach states on fuzzy structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542634
@@ Property / cites work: Q4542634 / rank @@
+Normal rank
@@ Property / cites work @@
+Some classes of pseudo-BL algebras
@@ Property / cites work: Some classes of pseudo-BL algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692888
@@ Property / cites work: Q5692888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266133
@@ Property / cites work: Q4266133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3717102
@@ Property / cites work: Q3717102 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Observations on non-commutative fuzzy logic
@@ Property / cites work: Observations on non-commutative fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3508717
@@ Property / cites work: Q3508717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Every state on semisimple MV-algebra is integral
@@ Property / cites work: Every state on semisimple MV-algebra is integral / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291523
@@ Property / cites work: Q4291523 / rank @@
+Normal rank
@@ Property / cites work @@
+De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
+Normal rank
@@ Property / cites work @@
+Non-commutative Łukasiewicz propositional logic
@@ Property / cites work: Non-commutative Łukasiewicz propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Averaging the truth-value in Łukasiewicz logic
@@ Property / cites work: Averaging the truth-value in Łukasiewicz logic / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Measures in Free MV-Algebras
@@ Property / cites work: Invariant Measures in Free MV-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A non-commutative generalization of MV-algebras
@@ Property / cites work: A non-commutative generalization of MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472337
@@ Property / cites work: Q5472337 / rank @@
+Normal rank
@@ Property / cites work @@
+State operators on GMV algebras
@@ Property / cites work: State operators on GMV algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4788820
@@ Property / cites work: Q4788820 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.FSS.2011.05.023
@@ Property / DOI: 10.1016/J.FSS.2011.05.023 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:427916