Finite MV-effect algebras have (S1)-(S4) sequential product operations exactly when Boolean, with (S4) the fatal axiom; lower axioms are classified via nonnegative integer matrices on their Z^r representations, and exactly 34 exist on the rank-2 Boolean case.
Tkadlec, Atomic sequential effect algebras,International Journal of Theoretical Physics47(2008), no
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
Finite MV-effect algebras have (S1)-(S4) sequential product operations exactly when Boolean, with (S4) the fatal axiom; lower axioms are classified via nonnegative integer matrices on their Z^r representations, and exactly 34 exist on the rank-2 Boolean case.