Axiomatizes iEx-logic as intersection of intuitionistic logic and orthomodular logic with Sasaki hook, and proves the lattice of its extensions is the product of intermediate logics and orthomodular logics lattices.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Conditionals and Modalities in Constructive Quantum Logics
Axiomatizes iEx-logic as intersection of intuitionistic logic and orthomodular logic with Sasaki hook, and proves the lattice of its extensions is the product of intermediate logics and orthomodular logics lattices.