Conditionals and Modalities in Constructive Quantum Logics

Juan P. Aguilera, Guillaume Massas

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 coinci…