Subframization and stabilization for superintuitionistic logics
| Authors |
|
|---|---|
| Publication date | 01-2019 |
| Journal | Journal of Logic and Computation |
| Volume | Issue number | 29 | 1 |
| Pages (from-to) | 1-35 |
| Organisations |
|
| Abstract | With each superintuitionistic logic (si-logic for short), we associate its downward and upward subframizations and characterize them by means of Zakharyaschev’s canonical formulas, as well as by embedding si-logics into the extensions of the propositional lax logic PLL. 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. |
| Document type | Article |
| Language | English |
| Published at |
https://doi.org/10.1093/logcom/exy035
(Final published version)
|
| Permalink to this page | |