{"id":"arxiv/2604.03324","url":"https://arxiv.org/abs/2604.03324","tags":["math.LO","cs.LO","math.RA"],"score":0,"title":"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","domain":"math.LO","source":"arxiv","authors":["Joaquim Reizi Higuchi"],"reviews":0,"subject":"math.LO","summary":"We study total binary operations on effect algebras obtained by truncating the Gudder-Greechie axiom package for a sequential product. The point is not to reprove the known nonexistence of non-Boolean full sequential products on finite chains, but to determine, axiom by axiom, where finite MV-effect algebras first fail. We prove two structural facts valid on every effect algebra. First, the operation σ_E(a,b) = 0 if a=0, and b if a \\neq 0, satisfies (S1)-(S3), so (S3) is never fatal by itself. Second, any operation satisfying (S1)-(S4) already has the right-unit property a \\circ 1 = a, even…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-02","reactions":{}}