Intermediate Logics and the de Jongh property

Dick de Jongh, Rineke Verbrugge, Albert Visser*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

15 Citations (Scopus)
122 Downloads (Pure)

Abstract

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

Original languageEnglish
Pages (from-to)197-213
Number of pages17
JournalArchive for mathematical logic
Volume50
Issue number1-2
DOIs
Publication statusPublished - Feb-2011

Keywords

  • Intuitionistic logic
  • Heyting's arithmetic

Fingerprint

Dive into the research topics of 'Intermediate Logics and the de Jongh property'. Together they form a unique fingerprint.

Cite this