Intermediate logics and the de Jongh property
| Authors |
|
|---|---|
| Publication date | 2009 |
| Host editors |
|
| Book title | Witnessed years |
| Book subtitle | essays in honour of Petr Hájek |
| ISBN |
|
| Series | Tributes |
| Pages (from-to) | 33-52 |
| Publisher | London: College Publications |
| 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 | Chapter |
| Language | English |
| Published at |
http://staff.science.uva.nl/~dickdj/Hajek-deJonghVV041209.pdf
(Accepted author manuscript)
|
| Other links | |
| Downloads |
332805.pdf
(Accepted author manuscript)
|
| Permalink to this page | |