a general approach to state-morphism mv-algebras · the talk given at the algebraic semantics for...
TRANSCRIPT
![Page 1: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/1.jpg)
A General Approach toState-Morphism MV-Algebras
Anatolij DVURECENSKIJ
Mathematical Institute, Slovak Academy of Sciences,
Stefanikova 49, SK-814 73 Bratislava, Slovakia
E-mail: [email protected]
The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21,
2011, Palazzo Genovese, Salerno - Italy
supported by Slovak-Italian project SK-IT 0016-08.
A General Approach to State-Morphism MV-Algebras – p. 1
![Page 2: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/2.jpg)
Quantum Mechanics
• new physics, beginning 20th century
A General Approach to State-Morphism MV-Algebras – p. 2
![Page 3: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/3.jpg)
Quantum Mechanics
• new physics, beginning 20th century• Newton mechanics fails in the micro world
A General Approach to State-Morphism MV-Algebras – p. 2
![Page 4: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/4.jpg)
Quantum Mechanics
• new physics, beginning 20th century• Newton mechanics fails in the micro world• Heisenberg Uncertainty Principle
A General Approach to State-Morphism MV-Algebras – p. 2
![Page 5: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/5.jpg)
Quantum Mechanics
• new physics, beginning 20th century• Newton mechanics fails in the micro world• Heisenberg Uncertainty Principle
σs(x)σs(y) ≥ ~ > 0.
A General Approach to State-Morphism MV-Algebras – p. 2
![Page 6: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/6.jpg)
Quantum Mechanics
• new physics, beginning 20th century• Newton mechanics fails in the micro world• Heisenberg Uncertainty Principle
σs(x)σs(y) ≥ ~ > 0.
x-momentum, y position of elementaryparticle, s state -probability measure
A General Approach to State-Morphism MV-Algebras – p. 2
![Page 7: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/7.jpg)
Quantum Mechanics
• new physics, beginning 20th century• Newton mechanics fails in the micro world• Heisenberg Uncertainty Principle
σs(x)σs(y) ≥ ~ > 0.
x-momentum, y position of elementaryparticle, s state -probability measure
• for classical mechanics
infs(σs(x)σs(y)) = 0.
A General Approach to State-Morphism MV-Algebras – p. 2
![Page 8: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/8.jpg)
• Hilbert, 1900, 6th Problem:
A General Approach to State-Morphism MV-Algebras – p. 3
![Page 9: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/9.jpg)
• Hilbert, 1900, 6th Problem:• To find a few physical axioms that, similar to the axioms
of geometry, can describe a theory for a class ofphysical events that is as large as possible.
A General Approach to State-Morphism MV-Algebras – p. 3
![Page 10: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/10.jpg)
• Hilbert, 1900, 6th Problem:• To find a few physical axioms that, similar to the axioms
of geometry, can describe a theory for a class ofphysical events that is as large as possible.
• Kolmogorov, probability theory, 1933,
A General Approach to State-Morphism MV-Algebras – p. 3
![Page 11: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/11.jpg)
• Hilbert, 1900, 6th Problem:• To find a few physical axioms that, similar to the axioms
of geometry, can describe a theory for a class ofphysical events that is as large as possible.
• Kolmogorov, probability theory, 1933,• G. Birkhoff and J. von Neumann, 1936
quantum logic
A General Approach to State-Morphism MV-Algebras – p. 3
![Page 12: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/12.jpg)
• Hilbert, 1900, 6th Problem:• To find a few physical axioms that, similar to the axioms
of geometry, can describe a theory for a class ofphysical events that is as large as possible.
• Kolmogorov, probability theory, 1933,• G. Birkhoff and J. von Neumann, 1936
quantum logic• C.C. Chang, 1958 MV-algebras
A General Approach to State-Morphism MV-Algebras – p. 3
![Page 13: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/13.jpg)
• Hilbert, 1900, 6th Problem:• To find a few physical axioms that, similar to the axioms
of geometry, can describe a theory for a class ofphysical events that is as large as possible.
• Kolmogorov, probability theory, 1933,• G. Birkhoff and J. von Neumann, 1936
quantum logic• C.C. Chang, 1958 MV-algebras• J. Łukasiewicz, 1922 many-valued logic
A General Approach to State-Morphism MV-Algebras – p. 3
![Page 14: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/14.jpg)
Other Motivations
• psychiatry
A General Approach to State-Morphism MV-Algebras – p. 4
![Page 15: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/15.jpg)
Other Motivations
• psychiatry• compound systems of computers
A General Approach to State-Morphism MV-Algebras – p. 4
![Page 16: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/16.jpg)
Other Motivations
• psychiatry• compound systems of computers• quantum chemistry
A General Approach to State-Morphism MV-Algebras – p. 4
![Page 17: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/17.jpg)
Other Motivations
• psychiatry• compound systems of computers• quantum chemistry• quantum computing
A General Approach to State-Morphism MV-Algebras – p. 4
![Page 18: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/18.jpg)
Other Motivations
• psychiatry• compound systems of computers• quantum chemistry• quantum computing• Bell inequalities
p(a) + p(b)− p(a ∧ b) ≤ 1,
A General Approach to State-Morphism MV-Algebras – p. 4
![Page 19: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/19.jpg)
Other Motivations
• psychiatry• compound systems of computers• quantum chemistry• quantum computing• Bell inequalities
p(a) + p(b)− p(a ∧ b) ≤ 1,
• (= p(a ∨ b)) test for a classical system
A General Approach to State-Morphism MV-Algebras – p. 4
![Page 20: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/20.jpg)
Quantum structures
• Boolean algebras
A General Approach to State-Morphism MV-Algebras – p. 5
![Page 21: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/21.jpg)
Quantum structures
• Boolean algebras• Orthomodular lattices
A General Approach to State-Morphism MV-Algebras – p. 5
![Page 22: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/22.jpg)
Quantum structures
• Boolean algebras• Orthomodular lattices• Hilbert space H, L(H) the system of all
closed subspaces of H
A General Approach to State-Morphism MV-Algebras – p. 5
![Page 23: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/23.jpg)
Quantum structures
• Boolean algebras• Orthomodular lattices• Hilbert space H, L(H) the system of all
closed subspaces of H• Orthomodular posets
A General Approach to State-Morphism MV-Algebras – p. 5
![Page 24: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/24.jpg)
Quantum structures
• Boolean algebras• Orthomodular lattices• Hilbert space H, L(H) the system of all
closed subspaces of H• Orthomodular posets• D-posets -Kôpka and Chovanec 1992
A General Approach to State-Morphism MV-Algebras – p. 5
![Page 25: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/25.jpg)
Quantum structures
• Boolean algebras• Orthomodular lattices• Hilbert space H, L(H) the system of all
closed subspaces of H• Orthomodular posets• D-posets -Kôpka and Chovanec 1992• effect algebras
A General Approach to State-Morphism MV-Algebras – p. 5
![Page 26: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/26.jpg)
Quantum structures
• Boolean algebras• Orthomodular lattices• Hilbert space H, L(H) the system of all
closed subspaces of H• Orthomodular posets• D-posets -Kôpka and Chovanec 1992• effect algebras• MV-algebras - compatibility
A General Approach to State-Morphism MV-Algebras – p. 5
![Page 27: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/27.jpg)
States on Algebraic Structures
• G. Boole: if M -alg. str. C = A+ B, and P is aprobability, then P (A+ B) = P (A) + P (B);
A General Approach to State-Morphism MV-Algebras – p. 6
![Page 28: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/28.jpg)
States on Algebraic Structures
• G. Boole: if M -alg. str. C = A+ B, and P is aprobability, then P (A+ B) = P (A) + P (B);
• the operation + is a partial one on M
A General Approach to State-Morphism MV-Algebras – p. 6
![Page 29: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/29.jpg)
States on Algebraic Structures
• G. Boole: if M -alg. str. C = A+ B, and P is aprobability, then P (A+ B) = P (A) + P (B);
• the operation + is a partial one on M
• M is a BA, A+ B := A ∪B wheneverA ∩B = ∅ ⇔ A ≤ B′
A General Approach to State-Morphism MV-Algebras – p. 6
![Page 30: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/30.jpg)
States on Algebraic Structures
• G. Boole: if M -alg. str. C = A+ B, and P is aprobability, then P (A+ B) = P (A) + P (B);
• the operation + is a partial one on M
• M is a BA, A+ B := A ∪B wheneverA ∩B = ∅ ⇔ A ≤ B′
• A and B mutually excluding - summable -orthogonal
A General Approach to State-Morphism MV-Algebras – p. 6
![Page 31: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/31.jpg)
States on Algebraic Structures
• G. Boole: if M -alg. str. C = A+ B, and P is aprobability, then P (A+ B) = P (A) + P (B);
• the operation + is a partial one on M
• M is a BA, A+ B := A ∪B wheneverA ∩B = ∅ ⇔ A ≤ B′
• A and B mutually excluding - summable -orthogonal
• state or FAS on an algebraic structure(M ; +,′ , 0, 1), s : M → [0, 1] (i) s(1) = 1, (ii)s(a+ b) = s(a) + s(b) if a+ b ∈ M
A General Approach to State-Morphism MV-Algebras – p. 6
![Page 32: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/32.jpg)
States on L(H)
• L(H), E(H) = {A ∈ B(H) : O ≤ A ≤ I}
A General Approach to State-Morphism MV-Algebras – p. 7
![Page 33: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/33.jpg)
States on L(H)
• L(H), E(H) = {A ∈ B(H) : O ≤ A ≤ I}
• sφ(M) = (PMφ, φ),M ∈ L(H), φ ∈ H, ‖φ‖ = 1
s(M) =∑i
λisφi(M) = tr(TPM), M ∈ L(H).
Gleason theorem, 1957, 3 ≤ dimH ≤ ℵ0,
A General Approach to State-Morphism MV-Algebras – p. 7
![Page 34: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/34.jpg)
States on L(H)
• L(H), E(H) = {A ∈ B(H) : O ≤ A ≤ I}
• sφ(M) = (PMφ, φ),M ∈ L(H), φ ∈ H, ‖φ‖ = 1
s(M) =∑i
λisφi(M) = tr(TPM), M ∈ L(H).
Gleason theorem, 1957, 3 ≤ dimH ≤ ℵ0,
• If s is a FAS L(H), Aarnes
s = λs1 + (1− λ)s2
s1 is a σ-additive, s2 a FAS vanishing on eachfinite-dimensional subspace of H.
A General Approach to State-Morphism MV-Algebras – p. 7
![Page 35: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/35.jpg)
Applications of Gleason’s Theorem
• s(M) = tr(TPM), M ∈ L(H)
A General Approach to State-Morphism MV-Algebras – p. 8
![Page 36: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/36.jpg)
Applications of Gleason’s Theorem
• s(M) = tr(TPM), M ∈ L(H)
• dimH = 2 - Gleason’ Theorem not valid
A General Approach to State-Morphism MV-Algebras – p. 8
![Page 37: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/37.jpg)
Applications of Gleason’s Theorem
• s(M) = tr(TPM), M ∈ L(H)
• dimH = 2 - Gleason’ Theorem not valid• Gleason’s Theorem holds for nonseparable iffdimH is a non-measurable cardinal
A General Approach to State-Morphism MV-Algebras – p. 8
![Page 38: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/38.jpg)
Applications of Gleason’s Theorem
• s(M) = tr(TPM), M ∈ L(H)
• dimH = 2 - Gleason’ Theorem not valid• Gleason’s Theorem holds for nonseparable iffdimH is a non-measurable cardinal
• Ulam, I- non-measurable cardinal if thereexists no probability measure on 2I vanishingon each i ∈ I.
A General Approach to State-Morphism MV-Algebras – p. 8
![Page 39: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/39.jpg)
Applications of Gleason’s Theorem
• s(M) = tr(TPM), M ∈ L(H)
• dimH = 2 - Gleason’ Theorem not valid• Gleason’s Theorem holds for nonseparable iffdimH is a non-measurable cardinal
• Ulam, I- non-measurable cardinal if thereexists no probability measure on 2I vanishingon each i ∈ I.
• von Neumann algebra V - extension fromFAS from L(V ) to V .
A General Approach to State-Morphism MV-Algebras – p. 8
![Page 40: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/40.jpg)
States on prehilbert Q.L.
• S-prehilbert - inner product space (·, ·)
A General Approach to State-Morphism MV-Algebras – p. 9
![Page 41: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/41.jpg)
States on prehilbert Q.L.
• S-prehilbert - inner product space (·, ·)
• E(S) = {M ⊆ S : M +M⊥ = S} OMP
A General Approach to State-Morphism MV-Algebras – p. 9
![Page 42: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/42.jpg)
States on prehilbert Q.L.
• S-prehilbert - inner product space (·, ·)
• E(S) = {M ⊆ S : M +M⊥ = S} OMP
• F(S) = {M ⊆ S : M⊥⊥ = M}
A General Approach to State-Morphism MV-Algebras – p. 9
![Page 43: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/43.jpg)
States on prehilbert Q.L.
• S-prehilbert - inner product space (·, ·)
• E(S) = {M ⊆ S : M +M⊥ = S} OMP
• F(S) = {M ⊆ S : M⊥⊥ = M}
• E(S) ⊆ F(S)
A General Approach to State-Morphism MV-Algebras – p. 9
![Page 44: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/44.jpg)
States on prehilbert Q.L.
• S-prehilbert - inner product space (·, ·)
• E(S) = {M ⊆ S : M +M⊥ = S} OMP
• F(S) = {M ⊆ S : M⊥⊥ = M}
• E(S) ⊆ F(S)
• S complete iff F(S) OML
A General Approach to State-Morphism MV-Algebras – p. 9
![Page 45: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/45.jpg)
States on prehilbert Q.L.
• S-prehilbert - inner product space (·, ·)
• E(S) = {M ⊆ S : M +M⊥ = S} OMP
• F(S) = {M ⊆ S : M⊥⊥ = M}
• E(S) ⊆ F(S)
• S complete iff F(S) OML
• S complete iff F(S) σ-OMP
A General Approach to State-Morphism MV-Algebras – p. 9
![Page 46: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/46.jpg)
States on prehilbert Q.L.
• S-prehilbert - inner product space (·, ·)
• E(S) = {M ⊆ S : M +M⊥ = S} OMP
• F(S) = {M ⊆ S : M⊥⊥ = M}
• E(S) ⊆ F(S)
• S complete iff F(S) OML
• S complete iff F(S) σ-OMP
• S complete iff E(S) = F(S)
A General Approach to State-Morphism MV-Algebras – p. 9
![Page 47: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/47.jpg)
States on MV-algebras
• M - MV-algebra, we define a partial operation+, via a+ b is defined iff a ≤ b∗ iff a⊙ b = 0,then a+ b := a⊕ b.
A General Approach to State-Morphism MV-Algebras – p. 10
![Page 48: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/48.jpg)
States on MV-algebras
•• M - MV-algebra, we define a partial operation+, via a+ b is defined iff a ≤ b∗ iff a⊙ b = 0,then a+ b := a⊕ b.
• + restriction of the ℓ-group addition
A General Approach to State-Morphism MV-Algebras – p. 10
![Page 49: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/49.jpg)
States on MV-algebras
•• M - MV-algebra, we define a partial operation+, via a+ b is defined iff a ≤ b∗ iff a⊙ b = 0,then a+ b := a⊕ b.
• + restriction of the ℓ-group addition• state- s : M → [0, 1], (i) s(a+ b) = s(a) + s(b),
(ii) s(1) = 1.
A General Approach to State-Morphism MV-Algebras – p. 10
![Page 50: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/50.jpg)
States on MV-algebras
•• M - MV-algebra, we define a partial operation+, via a+ b is defined iff a ≤ b∗ iff a⊙ b = 0,then a+ b := a⊕ b.
• + restriction of the ℓ-group addition• state- s : M → [0, 1], (i) s(a+ b) = s(a) + s(b),
(ii) s(1) = 1.
• S(M) -set of states. S(M) 6= ∅.
A General Approach to State-Morphism MV-Algebras – p. 10
![Page 51: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/51.jpg)
States on MV-algebras
•• M - MV-algebra, we define a partial operation+, via a+ b is defined iff a ≤ b∗ iff a⊙ b = 0,then a+ b := a⊕ b.
• + restriction of the ℓ-group addition• state- s : M → [0, 1], (i) s(a+ b) = s(a) + s(b),
(ii) s(1) = 1.
• S(M) -set of states. S(M) 6= ∅.
• extremal state s = λs1 + (1− λ)s2 forλ ∈ (0, 1) ⇒ s = s1 = s2.
A General Approach to State-Morphism MV-Algebras – p. 10
![Page 52: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/52.jpg)
•• {sα} → s iff limα sα(a) → s(a), a ∈ M.
A General Approach to State-Morphism MV-Algebras – p. 11
![Page 53: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/53.jpg)
•• {sα} → s iff limα sα(a) → s(a), a ∈ M.
• S(E) - Hausdorff compact topological space,∂eS(M)
A General Approach to State-Morphism MV-Algebras – p. 11
![Page 54: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/54.jpg)
•• {sα} → s iff limα sα(a) → s(a), a ∈ M.
• S(E) - Hausdorff compact topological space,∂eS(M)
• Krein-Mil’man S(M) = Cl(ConHul(∂eS(M))
A General Approach to State-Morphism MV-Algebras – p. 11
![Page 55: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/55.jpg)
•• {sα} → s iff limα sα(a) → s(a), a ∈ M.
• S(E) - Hausdorff compact topological space,∂eS(M)
• Krein-Mil’man S(M) = Cl(ConHul(∂eS(M))
• s is extremal iff s(a ∧ b) = min{s(a), s(b)} iff sis MV-homomorphism iff Ker(s) is a maximalideal.
A General Approach to State-Morphism MV-Algebras – p. 11
![Page 56: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/56.jpg)
•• {sα} → s iff limα sα(a) → s(a), a ∈ M.
• S(E) - Hausdorff compact topological space,∂eS(M)
• Krein-Mil’man S(M) = Cl(ConHul(∂eS(M))
• s is extremal iff s(a ∧ b) = min{s(a), s(b)} iff sis MV-homomorphism iff Ker(s) is a maximalideal.
• s ↔ Ker(s), 1-1 correspondence
A General Approach to State-Morphism MV-Algebras – p. 11
![Page 57: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/57.jpg)
•• every maximal ideal is a kernel of a uniquestate
A General Approach to State-Morphism MV-Algebras – p. 12
![Page 58: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/58.jpg)
••• every maximal ideal is a kernel of a uniquestate
• Kernel-hull topology = ∂eS(E) set of extremalstates
A General Approach to State-Morphism MV-Algebras – p. 12
![Page 59: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/59.jpg)
••• every maximal ideal is a kernel of a uniquestate
• Kernel-hull topology = ∂eS(E) set of extremalstates
• Kroupa- Panti a 7→ a, a(s) := s(a),
s(a) =
∫∂eS(M)
a(t)dµs(t)
A General Approach to State-Morphism MV-Algebras – p. 12
![Page 60: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/60.jpg)
••• every maximal ideal is a kernel of a uniquestate
• Kernel-hull topology = ∂eS(E) set of extremalstates
• Kroupa- Panti a 7→ a, a(s) := s(a),
s(a) =
∫∂eS(M)
a(t)dµs(t)
• µs - unique Borel σ-additive probabilitymeasure on B(S(M)) such thatµs(∂eS(M)) = 1. A General Approach to State-Morphism MV-Algebras – p. 12
![Page 61: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/61.jpg)
State MV-algebras
••• MV-algebras with a state are not universalalgebras, and therefore, the do not provide analgebraizable logic for probability reasoningover many-valued events
A General Approach to State-Morphism MV-Algebras – p. 13
![Page 62: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/62.jpg)
State MV-algebras
•••• MV-algebras with a state are not universalalgebras, and therefore, the do not provide analgebraizable logic for probability reasoningover many-valued events
• Flaminio-Montagna - introduce analgebraizable logic whose equivalentalgebraic semantics is the variety of stateMV-algebras
A General Approach to State-Morphism MV-Algebras – p. 13
![Page 63: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/63.jpg)
State MV-algebras
•••• MV-algebras with a state are not universalalgebras, and therefore, the do not provide analgebraizable logic for probability reasoningover many-valued events
• Flaminio-Montagna - introduce analgebraizable logic whose equivalentalgebraic semantics is the variety of stateMV-algebras
• A state MV-algebra is a pair (M, τ), M -MV-algebra, τ unary operation on A s.t.
A General Approach to State-Morphism MV-Algebras – p. 13
![Page 64: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/64.jpg)
•••• τ(1) = 1
A General Approach to State-Morphism MV-Algebras – p. 14
![Page 65: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/65.jpg)
• τ(1) = 1
• τ(x⊕ y) = τ(x)⊕ τ(t⊖ (x⊙ y))
A General Approach to State-Morphism MV-Algebras – p. 14
![Page 66: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/66.jpg)
• τ(1) = 1
• τ(x⊕ y) = τ(x)⊕ τ(t⊖ (x⊙ y))
• τ(x∗) = τ(x)∗
A General Approach to State-Morphism MV-Algebras – p. 14
![Page 67: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/67.jpg)
• τ(1) = 1
• τ(x⊕ y) = τ(x)⊕ τ(t⊖ (x⊙ y))
• τ(x∗) = τ(x)∗
• τ(τ(x)⊕ τ(y)) = τ(x)⊕ τ(y)
A General Approach to State-Morphism MV-Algebras – p. 14
![Page 68: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/68.jpg)
• τ(1) = 1
• τ(x⊕ y) = τ(x)⊕ τ(t⊖ (x⊙ y))
• τ(x∗) = τ(x)∗
• τ(τ(x)⊕ τ(y)) = τ(x)⊕ τ(y)
• τ -internal operator, state operator
A General Approach to State-Morphism MV-Algebras – p. 14
![Page 69: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/69.jpg)
Properties
• τ 2 = τ
A General Approach to State-Morphism MV-Algebras – p. 15
![Page 70: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/70.jpg)
Properties
• τ 2 = τ
• τ(M) is an MV-algebra and τ on τ(M) -identity
A General Approach to State-Morphism MV-Algebras – p. 15
![Page 71: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/71.jpg)
Properties
• τ 2 = τ
• τ(M) is an MV-algebra and τ on τ(M) -identity
• τ(x+ y) = τ(x) + τ(y)
A General Approach to State-Morphism MV-Algebras – p. 15
![Page 72: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/72.jpg)
Properties
• τ 2 = τ
• τ(M) is an MV-algebra and τ on τ(M) -identity
• τ(x+ y) = τ(x) + τ(y)
• τ(x⊙ y) = τ(x)⊙ τ(y) if x⊙ y = 0.
A General Approach to State-Morphism MV-Algebras – p. 15
![Page 73: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/73.jpg)
Properties
• τ 2 = τ
• τ(M) is an MV-algebra and τ on τ(M) -identity
• τ(x+ y) = τ(x) + τ(y)
• τ(x⊙ y) = τ(x)⊙ τ(y) if x⊙ y = 0.
• if (M, τ) is s.i., then τ(M) is a chain
A General Approach to State-Morphism MV-Algebras – p. 15
![Page 74: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/74.jpg)
Properties
• τ 2 = τ
• τ(M) is an MV-algebra and τ on τ(M) -identity
• τ(x+ y) = τ(x) + τ(y)
• τ(x⊙ y) = τ(x)⊙ τ(y) if x⊙ y = 0.
• if (M, τ) is s.i., then τ(M) is a chain
• if (M, τ) is s.i., then M is not necessarily achain
A General Approach to State-Morphism MV-Algebras – p. 15
![Page 75: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/75.jpg)
• F -filter, τ -filter if τ(F ) ⊆ F.
A General Approach to State-Morphism MV-Algebras – p. 16
![Page 76: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/76.jpg)
•• F -filter, τ -filter if τ(F ) ⊆ F.
• 1-1 correspondence congruences andτ -filters
A General Approach to State-Morphism MV-Algebras – p. 16
![Page 77: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/77.jpg)
•• F -filter, τ -filter if τ(F ) ⊆ F.
• 1-1 correspondence congruences andτ -filters
• M = [0, 1] × [0, 1], τ(x, y) = (x, x) s.i. - notchain
A General Approach to State-Morphism MV-Algebras – p. 16
![Page 78: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/78.jpg)
•• F -filter, τ -filter if τ(F ) ⊆ F.
• 1-1 correspondence congruences andτ -filters
• M = [0, 1] × [0, 1], τ(x, y) = (x, x) s.i. - notchain
• state-morphism (M, τ), τ is an idempotentendomorphism
A General Approach to State-Morphism MV-Algebras – p. 16
![Page 79: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/79.jpg)
•• F -filter, τ -filter if τ(F ) ⊆ F.
• 1-1 correspondence congruences andτ -filters
• M = [0, 1] × [0, 1], τ(x, y) = (x, x) s.i. - notchain
• state-morphism (M, τ), τ is an idempotentendomorphism
• s state on M , [0, 1]⊗M ,τs(α⊗ a) := α · s(a)⊗ 1
A General Approach to State-Morphism MV-Algebras – p. 16
![Page 80: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/80.jpg)
•• ([0, 1]⊗, τs) is an SMV-algebra.
A General Approach to State-Morphism MV-Algebras – p. 17
![Page 81: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/81.jpg)
•• ([0, 1]⊗, τs) is an SMV-algebra.
• ([0, 1]⊗, τs) is an SMMV-algebra iff s is anextremal state
A General Approach to State-Morphism MV-Algebras – p. 17
![Page 82: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/82.jpg)
•• ([0, 1]⊗, τs) is an SMV-algebra.
• ([0, 1]⊗, τs) is an SMMV-algebra iff s is anextremal state
• if M is a chain, every SMV-algebra (M, τ) isan SMMV-algebra
A General Approach to State-Morphism MV-Algebras – p. 17
![Page 83: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/83.jpg)
•• ([0, 1]⊗, τs) is an SMV-algebra.
• ([0, 1]⊗, τs) is an SMMV-algebra iff s is anextremal state
• if M is a chain, every SMV-algebra (M, τ) isan SMMV-algebra
• if τ(M) ∈ V(S1, . . . , Sn) for some n ≥ 1, then(M, τ) is an SMMV-algebra
A General Approach to State-Morphism MV-Algebras – p. 17
![Page 84: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/84.jpg)
•• ([0, 1]⊗, τs) is an SMV-algebra.
• ([0, 1]⊗, τs) is an SMMV-algebra iff s is anextremal state
• if M is a chain, every SMV-algebra (M, τ) isan SMMV-algebra
• if τ(M) ∈ V(S1, . . . , Sn) for some n ≥ 1, then(M, τ) is an SMMV-algebra
• Iff τ((n+ 1)x) = τ(nx)
A General Approach to State-Morphism MV-Algebras – p. 17
![Page 85: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/85.jpg)
State BL-algebras
•• M - BL-algebra. A map τ : M → M s.t.
(1)BL τ(0) = 0;
(2)BL τ(x → y) = τ(x) → τ(x ∧ y);
(3)BL τ(x⊙ y) = τ(x)⊙ τ(x → (x⊙ y));
(4)BL τ(τ(x)⊙ τ(y)) = τ(x)⊙ τ(y);
(5)BL τ(τ(x) → τ(y)) = τ(x) → τ(y)
state-operator on M, pair (M, τ) - state BL-algebra
A General Approach to State-Morphism MV-Algebras – p. 18
![Page 86: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/86.jpg)
State BL-algebras
••••• M - BL-algebra. A map τ : M → M s.t.
(1)BL τ(0) = 0;
(2)BL τ(x → y) = τ(x) → τ(x ∧ y);
(3)BL τ(x⊙ y) = τ(x)⊙ τ(x → (x⊙ y));
(4)BL τ(τ(x)⊙ τ(y)) = τ(x)⊙ τ(y);
(5)BL τ(τ(x) → τ(y)) = τ(x) → τ(y)
state-operator on M, pair (M, τ) - state BL-algebra
• If τ : M → M is a BL-endomorphism s.t.τ ◦ τ = τ, - state-morphism operator and thecouple (M, τ) - state-morphism BL-algebra.
A General Approach to State-Morphism MV-Algebras – p. 18
![Page 87: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/87.jpg)
••••• every state operator on a linear BL-algebra isa state-morphism
A General Approach to State-Morphism MV-Algebras – p. 19
![Page 88: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/88.jpg)
•••• every state operator on a linear BL-algebra isa state-morphism
• Example 0.2 Let M be a BL-algebra. On M ×Mwe define two operators, τ1 and τ2, as follows
τ1(a, b) = (a, a), τ2(a, b) = (b, b), (a, b) ∈ M×M.
(2.0)Then τ1 and τ2 are two state-morphism operators onM ×M.
A General Approach to State-Morphism MV-Algebras – p. 19
![Page 89: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/89.jpg)
•• every state operator on a linear BL-algebra isa state-morphism
• Example 0.3 Let M be a BL-algebra. On M ×Mwe define two operators, τ1 and τ2, as follows
τ1(a, b) = (a, a), τ2(a, b) = (b, b), (a, b) ∈ M×M.
(2.0)Then τ1 and τ2 are two state-morphism operators onM ×M.
• Ker(τ) = {a ∈ M : τ(a) = 1}.
A General Approach to State-Morphism MV-Algebras – p. 19
![Page 90: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/90.jpg)
•••• We say that two subhoops, A and B, of aBL-algebra M have the disjunction property iffor all x ∈ A and y ∈ B, if x ∨ y = 1, theneither x = 1 or y = 1.
A General Approach to State-Morphism MV-Algebras – p. 20
![Page 91: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/91.jpg)
••••• We say that two subhoops, A and B, of aBL-algebra M have the disjunction property iffor all x ∈ A and y ∈ B, if x ∨ y = 1, theneither x = 1 or y = 1.
• Lemma 0.5 Suppose that (M, τ) is a stateBL-algebra. Then:
(1) If τ is faithful, then (M, τ) is a subdirectlyirreducible state BL-algebra if and only ifτ(M) is a subdirectly irreducibleBL-algebra.
Now let (M, τ) be subdirectly irreducible.Then:
A General Approach to State-Morphism MV-Algebras – p. 20
![Page 92: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/92.jpg)
•• (2) Ker(τ) is (either trivial or) a subdirectlyirreducible hoop.
(3) Ker(τ) and τ(M) have the disjunctionproperty.
A General Approach to State-Morphism MV-Algebras – p. 21
![Page 93: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/93.jpg)
•• (2) Ker(τ) is (either trivial or) a subdirectlyirreducible hoop.
(3) Ker(τ) and τ(M) have the disjunctionproperty.
• Theorem 0.7 Let (M, τ) be a stateBL-algebra satisfying conditions (1), (2) and (3)in the last Lemma. Then (M, τ) is subdirectlyirreducible.
A General Approach to State-Morphism MV-Algebras – p. 21
![Page 94: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/94.jpg)
•• Theorem 0.8 A state-morphism BL-algebra(M, τ) is subdirectly irreducible irreducible ifand only if one of the following threepossibilities holds.
A General Approach to State-Morphism MV-Algebras – p. 22
![Page 95: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/95.jpg)
•• Theorem 0.9 A state-morphism BL-algebra(M, τ) is subdirectly irreducible irreducible ifand only if one of the following threepossibilities holds.
• (i) M is linear, τ = idM , and the BL-reduct Mis a subdirectly irreducible BL-algebra.
A General Approach to State-Morphism MV-Algebras – p. 22
![Page 96: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/96.jpg)
••••• Theorem 0.10 A state-morphism BL-algebra(M, τ) is subdirectly irreducible irreducible ifand only if one of the following threepossibilities holds.
• (i) M is linear, τ = idM , and the BL-reduct Mis a subdirectly irreducible BL-algebra.
• (ii) The state-morphism operator τ is notfaithful, M has no nontrivial Booleanelements, and the BL-reduct M of (M, τ) is alocal BL-algebra, Ker(τ) is a subdirectlyirreducible irreducible hoop, and Ker(τ) andτ(M) have the disjunction property.
A General Approach to State-Morphism MV-Algebras – p. 22
![Page 97: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/97.jpg)
•• Theorem 0.11 A state-morphism BL-algebra(M, τ) is subdirectly irreducible irreducible ifand only if one of the following threepossibilities holds.
• (i) M is linear, τ = idM , and the BL-reduct Mis a subdirectly irreducible BL-algebra.
• (ii) The state-morphism operator τ is notfaithful, M has no nontrivial Booleanelements, and the BL-reduct M of (M, τ) is alocal BL-algebra, Ker(τ) is a subdirectlyirreducible irreducible hoop, and Ker(τ) andτ(M) have the disjunction property.
A General Approach to State-Morphism MV-Algebras – p. 22
![Page 98: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/98.jpg)
•• Theorem 0.12 A state-morphism BL-algebra(M, τ) is subdirectly irreducible irreducible ifand only if one of the following threepossibilities holds.
• (i) M is linear, τ = idM , and the BL-reduct Mis a subdirectly irreducible BL-algebra.
• (ii) The state-morphism operator τ is notfaithful, M has no nontrivial Booleanelements, and the BL-reduct M of (M, τ) is alocal BL-algebra, Ker(τ) is a subdirectlyirreducible irreducible hoop, and Ker(τ) andτ(M) have the disjunction property.
A General Approach to State-Morphism MV-Algebras – p. 22
![Page 99: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/99.jpg)
•• Theorem 0.13 A state-morphism BL-algebra(M, τ) is subdirectly irreducible irreducible ifand only if one of the following threepossibilities holds.
• (i) M is linear, τ = idM , and the BL-reduct Mis a subdirectly irreducible BL-algebra.
• (ii) The state-morphism operator τ is notfaithful, M has no nontrivial Booleanelements, and the BL-reduct M of (M, τ) is alocal BL-algebra, Ker(τ) is a subdirectlyirreducible irreducible hoop, and Ker(τ) andτ(M) have the disjunction property.
A General Approach to State-Morphism MV-Algebras – p. 22
![Page 100: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/100.jpg)
•• Moreover, M is linearly ordered if and only ifRad1(M) is linearly ordered, and in such acase, M is a subdirectly irreducibleBL-algebra such that if F is the smallestnontrivial state-filter for (M, τ), then F is thesmallest nontrivial BL-filter for M.
A General Approach to State-Morphism MV-Algebras – p. 23
![Page 101: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/101.jpg)
••••• Moreover, M is linearly ordered if and only ifRad1(M) is linearly ordered, and in such acase, M is a subdirectly irreducibleBL-algebra such that if F is the smallestnontrivial state-filter for (M, τ), then F is thesmallest nontrivial BL-filter for M.
• If Rad(M) = Ker(τ), then M is linearly ordered.
A General Approach to State-Morphism MV-Algebras – p. 23
![Page 102: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/102.jpg)
••••• (iii) The state-morphism operator τ is notfaithful, M has a nontrivial Boolean element.There are a linearly ordered BL-algebra A, asubdirectly irreducible BL-algebra B, and aninjective BL-homomorphism h : A → B suchthat (M, τ) is isomorphic as a state-morphismBL-algebra with the state-morphismBL-algebra (A× B, τh), whereτh(x, y) = (x, h(x)) for any (x, y) ∈ A× B.
A General Approach to State-Morphism MV-Algebras – p. 24
![Page 103: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/103.jpg)
Varieties of SMMV-algebras
•••••• Komori - countably many subvarieties ofMV-algebras
A General Approach to State-Morphism MV-Algebras – p. 25
![Page 104: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/104.jpg)
Varieties of SMMV-algebras
• Komori - countably many subvarieties ofMV-algebras
• V-variety of MV-algebras, Vτ -system ofSMMV-algebras (M, τ) s.t M ∈ V ∈ V .
A General Approach to State-Morphism MV-Algebras – p. 25
![Page 105: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/105.jpg)
Varieties of SMMV-algebras
• Komori - countably many subvarieties ofMV-algebras
• V-variety of MV-algebras, Vτ -system ofSMMV-algebras (M, τ) s.t M ∈ V ∈ V .
• D(M) := (M ×M, τM )
A General Approach to State-Morphism MV-Algebras – p. 25
![Page 106: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/106.jpg)
Varieties of SMMV-algebras
• Komori - countably many subvarieties ofMV-algebras
• V-variety of MV-algebras, Vτ -system ofSMMV-algebras (M, τ) s.t M ∈ V ∈ V .
• D(M) := (M ×M, τM )
• V(D) = V(M)τ
A General Approach to State-Morphism MV-Algebras – p. 25
![Page 107: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/107.jpg)
Varieties of SMMV-algebras
• Komori - countably many subvarieties ofMV-algebras
• V-variety of MV-algebras, Vτ -system ofSMMV-algebras (M, τ) s.t M ∈ V ∈ V .
• D(M) := (M ×M, τM )
• V(D) = V(M)τ
• SMMV = V(D([0, 1]))
A General Approach to State-Morphism MV-Algebras – p. 25
![Page 108: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/108.jpg)
Varieties of SMMV-algebras
• Komori - countably many subvarieties ofMV-algebras
• V-variety of MV-algebras, Vτ -system ofSMMV-algebras (M, τ) s.t M ∈ V ∈ V .
• D(M) := (M ×M, τM )
• V(D) = V(M)τ
• SMMV = V(D([0, 1]))
• Pτ = V(D(C)), P perfect MV-algebras, C-Chang
A General Approach to State-Morphism MV-Algebras – p. 25
![Page 109: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/109.jpg)
• Theorem: VI ⊆ VR ⊆ VL ⊆ Vτ . and allinclusions are proper of V is not finitelygenerated.
A General Approach to State-Morphism MV-Algebras – p. 26
![Page 110: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/110.jpg)
•• Theorem: VI ⊆ VR ⊆ VL ⊆ Vτ . and allinclusions are proper of V is not finitelygenerated.
• Theorem: Representable SMMV-algebras:
τ(x) ∨ (x → (τ(y) ↔ y)) = 1.
A General Approach to State-Morphism MV-Algebras – p. 26
![Page 111: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/111.jpg)
•• Theorem: VI ⊆ VR ⊆ VL ⊆ Vτ . and allinclusions are proper of V is not finitelygenerated.
• Theorem: Representable SMMV-algebras:
τ(x) ∨ (x → (τ(y) ↔ y)) = 1.
• also for BL-algebra
A General Approach to State-Morphism MV-Algebras – p. 26
![Page 112: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/112.jpg)
•• Theorem: VI ⊆ VR ⊆ VL ⊆ Vτ . and allinclusions are proper of V is not finitelygenerated.
• Theorem: Representable SMMV-algebras:
τ(x) ∨ (x → (τ(y) ↔ y)) = 1.
• also for BL-algebra• Theorem: VL - generated by those (M, τ), M
is local
A General Approach to State-Morphism MV-Algebras – p. 26
![Page 113: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/113.jpg)
•• Theorem: VI ⊆ VR ⊆ VL ⊆ Vτ . and allinclusions are proper of V is not finitelygenerated.
• Theorem: Representable SMMV-algebras:
τ(x) ∨ (x → (τ(y) ↔ y)) = 1.
• also for BL-algebra• Theorem: VL - generated by those (M, τ), M
is local•
(τ(x) ↔ x)∗ ≤ (τ(x) ↔ x).A General Approach to State-Morphism MV-Algebras – p. 26
![Page 114: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/114.jpg)
Uncountable many subvarieties
•• [0, 1]∗ ultrapower, fox positive infinitesimalǫ ∈ [0, 1]∗
A General Approach to State-Morphism MV-Algebras – p. 27
![Page 115: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/115.jpg)
Uncountable many subvarieties
• [0, 1]∗ ultrapower, fox positive infinitesimalǫ ∈ [0, 1]∗
• X subset of prime numbers, A(X)MV-algebra generated by ǫ and n
ms.t
A General Approach to State-Morphism MV-Algebras – p. 27
![Page 116: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/116.jpg)
Uncountable many subvarieties
• [0, 1]∗ ultrapower, fox positive infinitesimalǫ ∈ [0, 1]∗
• X subset of prime numbers, A(X)MV-algebra generated by ǫ and n
ms.t
• (1) either n = 0 or g.c.d(n,m) = 1
A General Approach to State-Morphism MV-Algebras – p. 27
![Page 117: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/117.jpg)
Uncountable many subvarieties
• [0, 1]∗ ultrapower, fox positive infinitesimalǫ ∈ [0, 1]∗
• X subset of prime numbers, A(X)MV-algebra generated by ǫ and n
ms.t
• (1) either n = 0 or g.c.d(n,m) = 1
• ∀p ∈ X, p does not divide m
A General Approach to State-Morphism MV-Algebras – p. 27
![Page 118: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/118.jpg)
Uncountable many subvarieties
• [0, 1]∗ ultrapower, fox positive infinitesimalǫ ∈ [0, 1]∗
• X subset of prime numbers, A(X)MV-algebra generated by ǫ and n
ms.t
• (1) either n = 0 or g.c.d(n,m) = 1
• ∀p ∈ X, p does not divide m
• τ(x)= standard part of x
A General Approach to State-Morphism MV-Algebras – p. 27
![Page 119: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/119.jpg)
Uncountable many subvarieties
• [0, 1]∗ ultrapower, fox positive infinitesimalǫ ∈ [0, 1]∗
• X subset of prime numbers, A(X)MV-algebra generated by ǫ and n
ms.t
• (1) either n = 0 or g.c.d(n,m) = 1
• ∀p ∈ X, p does not divide m
• τ(x)= standard part of x
• (A(X), τ) is linearly ordered SMMV-algebra
A General Approach to State-Morphism MV-Algebras – p. 27
![Page 120: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/120.jpg)
• if X 6= Y , then V(A(X)) 6= V(A(Y ))
A General Approach to State-Morphism MV-Algebras – p. 28
![Page 121: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/121.jpg)
••••• if X 6= Y , then V(A(X)) 6= V(A(Y ))
• Theorem: Between MVI and MVR there isuncountably many varieties
A General Approach to State-Morphism MV-Algebras – p. 28
![Page 122: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/122.jpg)
Generators of SMBL-algebras
••••• t-norm- function t : [0, 1]× [0, 1] → [0, 1] suchthat (i) t is commutative, associative, (ii)t(x, 1) = x, x ∈ [0, 1], and (iii) t isnondecreasing in both components.Moreover, the variety of all BL-algebras isgenerated by all It with a continuous t-norm t.
A General Approach to State-Morphism MV-Algebras – p. 29
![Page 123: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/123.jpg)
Generators of SMBL-algebras
•• t-norm- function t : [0, 1]× [0, 1] → [0, 1] suchthat (i) t is commutative, associative, (ii)t(x, 1) = x, x ∈ [0, 1], and (iii) t isnondecreasing in both components.Moreover, the variety of all BL-algebras isgenerated by all It with a continuous t-norm t.
• If t is continuous, we define x⊙t y = t(x, y)and x →t y = sup{z ∈ [0, 1] : t(z, x) ≤ y} forx, y ∈ [0, 1], thenIt := ([0, 1],min,max,⊙t,→t, 0, 1) is aBL-algebra.
A General Approach to State-Morphism MV-Algebras – p. 29
![Page 124: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/124.jpg)
Generators of SMBL-algebras
•••• t-norm- function t : [0, 1]× [0, 1] → [0, 1] suchthat (i) t is commutative, associative, (ii)t(x, 1) = x, x ∈ [0, 1], and (iii) t isnondecreasing in both components.Moreover, the variety of all BL-algebras isgenerated by all It with a continuous t-norm t.
• If t is continuous, we define x⊙t y = t(x, y)and x →t y = sup{z ∈ [0, 1] : t(z, x) ≤ y} forx, y ∈ [0, 1], thenIt := ([0, 1],min,max,⊙t,→t, 0, 1) is aBL-algebra.
• Moreover, the variety of all BL-algebras isA General Approach to State-Morphism MV-Algebras – p. 29
![Page 125: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/125.jpg)
•••• T denotes the system of all BL-algebras It,where t is a continuous t-norm on the interval[0, 1],
A General Approach to State-Morphism MV-Algebras – p. 30
![Page 126: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/126.jpg)
•• T denotes the system of all BL-algebras It,where t is a continuous t-norm on the interval[0, 1],
• Theorem 0.15 The variety of allstate-morphism BL-algebras is generated bythe class T .
A General Approach to State-Morphism MV-Algebras – p. 30
![Page 127: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/127.jpg)
General Approach - State-Morphism Algebras
•• A an algebra of type F , τ an idempotentendomorphism of A, (A, τ) state-morphismalgebra
A General Approach to State-Morphism MV-Algebras – p. 31
![Page 128: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/128.jpg)
General Approach - State-Morphism Algebras
•• A an algebra of type F , τ an idempotentendomorphism of A, (A, τ) state-morphismalgebra
• θτ = {(x, y) ∈ A× A : τ(x) = τ(y)},
A General Approach to State-Morphism MV-Algebras – p. 31
![Page 129: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/129.jpg)
General Approach - State-Morphism Algebras
•• A an algebra of type F , τ an idempotentendomorphism of A, (A, τ) state-morphismalgebra
• θτ = {(x, y) ∈ A× A : τ(x) = τ(y)},
• φ ⊆ A2, Φ(φ), Φτ (φ) congruence generated byφ on A and (A, τ)
A General Approach to State-Morphism MV-Algebras – p. 31
![Page 130: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/130.jpg)
General Approach - State-Morphism Algebras
•• A an algebra of type F , τ an idempotentendomorphism of A, (A, τ) state-morphismalgebra
• θτ = {(x, y) ∈ A× A : τ(x) = τ(y)},
• φ ⊆ A2, Φ(φ), Φτ (φ) congruence generated byφ on A and (A, τ)
• Lemma: For any φ ∈ Con τ(A), we haveθφ ∈ Con (A, τ), and θφ ∩ τ(A)2 = φ. Inaddition, θτ ∈ Con (A, τ), φ ⊆ θφ, andΘτ(φ) ⊆ θφ.
A General Approach to State-Morphism MV-Algebras – p. 31
![Page 131: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/131.jpg)
•• Lemma: Let θ ∈ ConA be such that θ ⊆ θτ .Then θ ∈ Con (A, τ) holds.
A General Approach to State-Morphism MV-Algebras – p. 32
![Page 132: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/132.jpg)
•••• Lemma: Let θ ∈ ConA be such that θ ⊆ θτ .Then θ ∈ Con (A, τ) holds.
• Lemma: If x, y ∈ τ(A), thenΘ(x, y) = Θτ(x, y). Consequently,Θ(φ) = Θτ(φ) whenever φ ⊆ τ(A)2.
A General Approach to State-Morphism MV-Algebras – p. 32
![Page 133: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/133.jpg)
•••• Lemma: Let θ ∈ ConA be such that θ ⊆ θτ .Then θ ∈ Con (A, τ) holds.
• Lemma: If x, y ∈ τ(A), thenΘ(x, y) = Θτ(x, y). Consequently,Θ(φ) = Θτ(φ) whenever φ ⊆ τ(A)2.
• if (C, τ →)(B×B, τB), (C, τ) is said to be asubdiagonal state-morphism algebra
A General Approach to State-Morphism MV-Algebras – p. 32
![Page 134: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/134.jpg)
•••• Theorem 0.16 Let (A, τ) be a subdirectlyirreducible state-morphism algebra such thatA is subdirectly reducible. Then there is asubdirectly irreducible algebra B such that(A, τ) is B-subdiagonal.
A General Approach to State-Morphism MV-Algebras – p. 33
![Page 135: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/135.jpg)
•• Theorem 0.18 Let (A, τ) be a subdirectlyirreducible state-morphism algebra such thatA is subdirectly reducible. Then there is asubdirectly irreducible algebra B such that(A, τ) is B-subdiagonal.
• Theorem 0.19 For every subdirectlyirreducible state-morphism algebra (A, τ),there is a subdirectly irreducible algebra B
such that (A, τ) is B-subdiagonal.
A General Approach to State-Morphism MV-Algebras – p. 33
![Page 136: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/136.jpg)
•• Theorem 0.20 Let (A, τ) be a subdirectlyirreducible state-morphism algebra such thatA is subdirectly reducible. Then there is asubdirectly irreducible algebra B such that(A, τ) is B-subdiagonal.
• Theorem 0.21 For every subdirectlyirreducible state-morphism algebra (A, τ),there is a subdirectly irreducible algebra B
such that (A, τ) is B-subdiagonal.
• K of algebras of the same type, I(K), H(K),S(K) and P(K) D(K)
A General Approach to State-Morphism MV-Algebras – p. 33
![Page 137: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/137.jpg)
•••• Theorem 0.22 (1) For every class K ofalgebras of the same type F,V(D(K)) = V(K)τ .(2) Let K1 and K2 be two classes of same typealgebras. Then V(D(K1)) = V(D(K2)) if andonly if V(K1) = V(K2).
A General Approach to State-Morphism MV-Algebras – p. 34
![Page 138: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/138.jpg)
•• Theorem 0.24 (1) For every class K ofalgebras of the same type F,V(D(K)) = V(K)τ .(2) Let K1 and K2 be two classes of same typealgebras. Then V(D(K1)) = V(D(K2)) if andonly if V(K1) = V(K2).
• Theorem 0.25 If a system K of algebras ofthe same type F generates the whole varietyV(F ) of all algebras of type F, then the varietyV(F )τ of all state-morphism algebras (A, τ),where A ∈ V(F ), is generated by the class{D(A) : A ∈ K}.
A General Approach to State-Morphism MV-Algebras – p. 34
![Page 139: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/139.jpg)
•• Theorem 0.26 If A is a subdirectly irreduciblealgebra, then any state-morphism algebra(A, τ) is subdirectly irreducible.
A General Approach to State-Morphism MV-Algebras – p. 35
![Page 140: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/140.jpg)
•• Theorem 0.28 If A is a subdirectly irreduciblealgebra, then any state-morphism algebra(A, τ) is subdirectly irreducible.
• Theorem 0.29 A variety Vτ satisfy the CEP ifand only if V satisfies the CEP.
A General Approach to State-Morphism MV-Algebras – p. 35
![Page 141: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/141.jpg)
Applications
•• The variety of all state-morphismMV-algebras is generated by the diagonalstate-morphism MV-algebra D([0, 1]MV ).
A General Approach to State-Morphism MV-Algebras – p. 36
![Page 142: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/142.jpg)
Applications
••• The variety of all state-morphismMV-algebras is generated by the diagonalstate-morphism MV-algebra D([0, 1]MV ).
• The variety of all state-morphism BL-algebrasis generated by the class {D(It) : It ∈ T }.
A General Approach to State-Morphism MV-Algebras – p. 36
![Page 143: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/143.jpg)
Applications
••• The variety of all state-morphismMV-algebras is generated by the diagonalstate-morphism MV-algebra D([0, 1]MV ).
• The variety of all state-morphism BL-algebrasis generated by the class {D(It) : It ∈ T }.
• The variety of all state-morphismMTL-algebras is generated by the class{D(It) : It ∈ Tlc}.
A General Approach to State-Morphism MV-Algebras – p. 36
![Page 144: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/144.jpg)
Applications
••• The variety of all state-morphismMV-algebras is generated by the diagonalstate-morphism MV-algebra D([0, 1]MV ).
• The variety of all state-morphism BL-algebrasis generated by the class {D(It) : It ∈ T }.
• The variety of all state-morphismMTL-algebras is generated by the class{D(It) : It ∈ Tlc}.
• The variety of all state-morphismnaBL-algebras is generated by the class{D(Inat ) : It ∈ naT }.
A General Approach to State-Morphism MV-Algebras – p. 36
![Page 145: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/145.jpg)
••• If a unital ℓ-group (G, u) is double transitive,then D(Γ(G, u)) generates the variety ofstate-morphism pseudo MV-algebras.
A General Approach to State-Morphism MV-Algebras – p. 37
![Page 146: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/146.jpg)
References
•••••• A. Di Nola, A. Dvurecenskij, State-morphismMV-algebras, Ann. Pure Appl. Logic 161 (2009),161–173.
A General Approach to State-Morphism MV-Algebras – p. 38
![Page 147: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/147.jpg)
References
• A. Di Nola, A. Dvurecenskij, State-morphismMV-algebras, Ann. Pure Appl. Logic 161 (2009),161–173.
• A. Di Nola, A. Dvurecenskij, A. Lettieri, Erratum“State-morphism MV-algebras” [Ann. Pure Appl. Logic161 (2009) 161-173], Ann. Pure Appl. Logic 161(2010), 1605–1607.
A General Approach to State-Morphism MV-Algebras – p. 38
![Page 148: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/148.jpg)
References
• A. Di Nola, A. Dvurecenskij, State-morphismMV-algebras, Ann. Pure Appl. Logic 161 (2009),161–173.
• A. Di Nola, A. Dvurecenskij, A. Lettieri, Erratum“State-morphism MV-algebras” [Ann. Pure Appl. Logic161 (2009) 161-173], Ann. Pure Appl. Logic 161(2010), 1605–1607.
• A. Dvurecenskij, Subdirectly irreduciblestate-morphism BL-algebras, Archive Math. Logic50 (2011), 145–160.
A General Approach to State-Morphism MV-Algebras – p. 38
![Page 149: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/149.jpg)
• A. Dvurecenskij, T. Kowalski, F. Montagna,State morphism MV-algebras, Inter. J. Approx.Reasoning http://arxiv.org/abs/1102.1088
A General Approach to State-Morphism MV-Algebras – p. 39
![Page 150: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/150.jpg)
• A. Dvurecenskij, T. Kowalski, F. Montagna,State morphism MV-algebras, Inter. J. Approx.Reasoning http://arxiv.org/abs/1102.1088
• M. Botur, A. Dvurecenskij, T. Kowalski, Onnormal-valued basic pseudo hoops,
A General Approach to State-Morphism MV-Algebras – p. 39
![Page 151: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/151.jpg)
• A. Dvurecenskij, T. Kowalski, F. Montagna,State morphism MV-algebras, Inter. J. Approx.Reasoning http://arxiv.org/abs/1102.1088
• M. Botur, A. Dvurecenskij, T. Kowalski, Onnormal-valued basic pseudo hoops,
• A. Di Nola, A. Dvurecenskij, A. Lettieri, Onvarieties of MV-algebras with internal states, Inter. J.Approx. Reasoning 51 (2010), 680–694.
A General Approach to State-Morphism MV-Algebras – p. 39
![Page 152: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/152.jpg)
• A. Dvurecenskij, T. Kowalski, F. Montagna,State morphism MV-algebras, Inter. J. Approx.Reasoning http://arxiv.org/abs/1102.1088
• M. Botur, A. Dvurecenskij, T. Kowalski, Onnormal-valued basic pseudo hoops,
• A. Di Nola, A. Dvurecenskij, A. Lettieri, Onvarieties of MV-algebras with internal states, Inter. J.Approx. Reasoning 51 (2010), 680–694.
• L.C. Ciungu, A. Dvurecenskij, M. Hycko, StateBL-algebras, Soft Computing
A General Approach to State-Morphism MV-Algebras – p. 39
![Page 153: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/153.jpg)
• M. Botur, A. Dvurecenskij, State-morphismalgebras - general approach,http://arxiv.org/submit/230594
A General Approach to State-Morphism MV-Algebras – p. 40
![Page 154: A General Approach to State-Morphism MV-Algebras · The talk given at the Algebraic Semantics for Uncertainty and Vagueness May 18–21, 2011, Palazzo Genovese, Salerno - Italy supported](https://reader034.vdocuments.mx/reader034/viewer/2022042413/5f2d356aef27281af0031f45/html5/thumbnails/154.jpg)
Thank you for your attention
A General Approach to State-Morphism MV-Algebras – p. 41