PP-2022-07: Bezhanishvili, Nick and Cleani, Antonio M. (2022) Translational embeddings via stable canonical rules. [Pre-print]
Text
tevscr_pub.pdf Download (533kB) |
Abstract
This paper presents a new uniform method for studying modal companions of superintuitionistic deductive systems and related notions, based on the machinery of stable canonical rules. Using our method, we obtain an al- ternative proof of the Blok-Esakia theorem both for logics and for rule systems, and prove an analogue of the Dummett-Lemmon conjecture for rule systems. Since stable canonical rules may be developed for any rule system admitting filtration, our method generalises smoothly to richer signatures. We illustrate this by applying our techniques to prove analogues of the
Blok-Esakia theorem (for both logics and rule systems) and of the Dummett-Lemmon conjecture (for rule systems) in the setting of tense companions of bi-superintuitionistic
deductive systems. We also use our techniques to prove that the lattice of rule systems (logics) extending the modal intuitionistic logic KM and the lattice of rule systems (logics) extending the provability logic GL are isomorphic.
Item Type: | Pre-print |
---|---|
Report Nr: | PP-2022-07 |
Series Name: | Prepublication (PP) Series |
Year: | 2022 |
Subjects: | Logic Mathematics |
Depositing User: | Nick Bezhanishvili |
Date Deposited: | 18 Jun 2022 09:06 |
Last Modified: | 18 Jun 2022 09:06 |
URI: | https://eprints.illc.uva.nl/id/eprint/2203 |
Actions (login required)
View Item |