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.

Similar books and articles

An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.

Analytics

Added to PP
2013-10-27

Downloads
95 (#164,044)

6 months
51 (#74,068)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Logics of intuitionistic Kripke-Platek set theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.
The Σ1-provability logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - 2018 - Annals of Pure and Applied Logic 169 (10):997-1043.
Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
The de Jongh property for Basic Arithmetic.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Archive for Mathematical Logic 53 (7-8):881-895.

View all 8 citations / Add more citations

References found in this work

Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.

View all 22 references / Add more references