Intermediate Logics and the de Jongh property

Archive for Mathematical Logic 50 (1-2):197-213 (2011)
  Copy   BIBTEX

Abstract

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

Author Profiles

Analytics

Added to PP
2013-10-27

Downloads
129 (#80,270)

6 months
84 (#47,007)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?