4 papers
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…
Fundamental Logic Through the Lens of Modality
Wesley H. Holliday, Guillaume Massas
Fundamental logic is a non-classical logic based only on the introduction and elimination rules for conjunction, disjunction, negation, and the quantifiers in a Fitch-style natural…
Constructive Quantum Logics
Juan P. Aguilera, Guillaume Massas
Following a suggestion of Birkhoff and Von Neumann [Ann. Math. 37 (1936), 23-32], we pursue a joint study of quantum logic and intuitionistic logic. We exhibit a linear-time transl…
Goldblat-Thomason Theorems for Fundamental (Modal) Logic
Guillaume Massas
Holliday recently introduced a non-classical logic called Fundamental Logic, which intends to capture exactly those properties of the connectives "and", "or" and "not" that hold in…