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.
Relational representation theorems for lattices with negations: A survey.Lecture Notes in Artificial Intelligence, 4342:245–266, 2006b
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
-
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.