Intermediate Logics and the de Jongh property
| Authors |
|
|---|---|
| Publication date | 2011 |
| Journal | Archive for Mathematical Logic |
| Volume | Issue number | 50 | 1-2 |
| Pages (from-to) | 197-213 |
| Organisations |
|
| Abstract | We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s00153-010-0209-4 |
| Downloads |
Intermediate Logics and the de Jongh property
(Final published version)
|
| Permalink to this page | |