PP-2022-07: Translational embeddings via stable canonical rules

PP-2022-07: Bezhanishvili, Nick and Cleani, Antonio M. (2022) Translational embeddings via stable canonical rules. [Pre-print]

[thumbnail of tevscr_pub.pdf] 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 View Item