Fundamental logic embeds fully and faithfully into orthological S4 and intuitionistic KTB via GMT and Goldblatt translations, with intuitionistic logic embedding into modal fundamental logic.
Bjarni J´ onsson and Alfred Tarski
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
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.
citing papers explorer
-
Fundamental Logic Through the Lens of Modality
Fundamental logic embeds fully and faithfully into orthological S4 and intuitionistic KTB via GMT and Goldblatt translations, with intuitionistic logic embedding into modal fundamental logic.
-
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.