Quantales carrying ortholattice structure
This paper investigates the intersection of residuated structures from many-valued logic and orthomodular lattices from quantum logic. We explore whether non-Boolean structures can simultaneously satisfy residuation principles and orthocomplementation requirements. Our main contribution is a study of Girard posets with inversions, providing a characterization theorem where a unital residuated poset is Girard if and only if it admits an inversion satisfying specific adjointness conditions. We prove that any complemented lattice admitting an integral residuated structure must be Boolean, which…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.21898
curl -X POST /api/v1/records/arxiv/2602.21898/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.21898/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'