{"id":"arxiv/2602.21898","url":"https://arxiv.org/abs/2602.21898","tags":["math.LO"],"score":0,"title":"Quantales carrying ortholattice structure","domain":"math.LO","source":"arxiv","authors":["Michal Botur","David Kruml","Jan Paseka"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-25","reactions":{}}