Abstract
We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
Original language | English |
---|---|
Pages (from-to) | 197-213 |
Number of pages | 17 |
Journal | Archive for mathematical logic |
Volume | 50 |
Issue number | 1-2 |
DOIs | |
Publication status | Published - Feb-2011 |
Keywords
- Intuitionistic logic
- Heyting's arithmetic