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

Dick De De Jongh
University of Amsterdam

Analytics

Added to PP
2013-10-27

Downloads
343 (#74,876)

6 months
119 (#48,657)

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?