Intermediate Logics and the de Jongh property

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property. Dedicated to Petr H´ajek, on the occasion of his 70th Birthday

• Type: Journal
• Year: 2011
• Where: AML
• Authors: Dick de Jongh, Rineke Verbrugge, Albert Visser
• Keywords: 70th Birthday, AML 2011, Mathematics, Petr H´ajek, finite Frame Property