Intermediate Logics and the de Jongh property

  • Authors:

  • Dick Jongh;Rineke Verbrugge;Albert Visser

  • Affiliations:

  • ILLC, University of Amsterdam, Amsterdam, The Netherlands 1098 XH;Artificial Intelligence, University of Groningen, Groningen, The Netherlands 9700 AK;Department of Philosophy, Utrecht University, Utrecht, The Netherlands 3584 CS

  • Venue:
  • Archive for Mathematical Logic
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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