3 papers
math.LO2026
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
Joaquim Reizi Higuchi
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 nonexis…
cs.LO2026
Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
Joaquim Reizi Higuchi
We compare three satisfiability notions for propositional formulas in the language {not, and, or} over a fixed finite-dimensional Hilbert space H=F^d with F in {R, C}. The first is…
math.CT2025
The Strict 2-Category Structure of Distorted Monoidal Categories
Joaquim Reizi Higuchi
This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitiv…