4 papers
A Countable Three-Generated Orthomodular Lattice with No -Complete Embedding
Joaquim Reizi Higuchi
We give an explicit countably infinite orthomodular lattice generated by three specified elements and a direct argument that it admits no injective homomorphism into any -comple…
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…
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…
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…