MoL-2022-02: Carr, James (2022) Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited. [Report]
Text
MoL-2022-02.text.pdf Download (692kB) |
Abstract
A deductive system is said to be structurally complete if its admissible rules are derivable, and moreover is hereditarily structurally complete if all its finitary extensions are structurally complete. Citkin (1997) established a characterisation of hereditarily structurally complete intermediate logics and Rybakov (1995) gave a characterisation for transitive modal logics. Both their proofs are difficult in their own way, however recently Bezhanishvili and Moraschini (2019) gave a self-contained proof of Citkin’s result based on Esakia duality. The aim of this project is to do the same for Rybakov’s result using a duality for modal algebras. In doing so we will identify and correct for an error in Rybakov’s characterisation.
Item Type: | Report |
---|---|
Report Nr: | MoL-2022-02 |
Series Name: | Master of Logic Thesis (MoL) Series |
Year: | 2022 |
Subjects: | Logic Mathematics |
Depositing User: | Dr Marco Vervoort |
Date Deposited: | 04 Apr 2022 11:41 |
Last Modified: | 04 Apr 2022 11:41 |
URI: | https://eprints.illc.uva.nl/id/eprint/1875 |
Actions (login required)
View Item |