PP-2016-36: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2016) Subframization and stabilization for superintuitionistic logics. [Pre-print] (Submitted)
Preview |
Text
subframization-stabilization-final.pdf Download (375kB) | Preview |
Abstract
With each superinuitionistic logic (si-logic), we associate its downward and upward subframizations, and characterize them by means of Zakharsyachev's canonical formulas, as well as by embedding si-logics into the extensions of the propositional lax logic. In an analogous fashion, with each si-logic, we associate its downward and upward stabilizations, and characterize them by means of stable canonical formulas, as well as by embedding si-logics into extensions of the intuitionistic S4.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2016-36 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2016 |
| Subjects: | Logic |
| Depositing User: | Julia Ilin |
| Date Deposited: | 20 Oct 2016 11:58 |
| Last Modified: | 20 Oct 2016 11:58 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1404 |
Actions (login required)
 |
View Item |
