{"id":"arxiv/2606.31853","url":"https://arxiv.org/abs/2606.31853","tags":["math.LO","cs.LO"],"score":0,"title":"Conditionals and Modalities in Constructive Quantum Logics","domain":"math.LO","source":"arxiv","authors":["Juan P. Aguilera","Guillaume Massas"],"reviews":0,"subject":"math.LO","summary":"We investigate logics that generalize both intuitionistic logic and quantum logic. In earlier work, we introduced Ex-logic, an extension of Holliday's fundamental logic that coincides with the intersection of orthologic and the implication-free fragment of intuitionistic logic. In this paper, we add an implication connective to Ex-logic and axiomatize iEx-logic, the intersection of full intuitionistic logic and orthomodular logic with the implication connective interpreted as the Sasaki hook. As a consequence, we obtain a characterization of the lattice of logics extending iEx-logic as the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-30","reactions":{}}