Sciweavers

AML
2011

Intermediate Logics and the de Jongh property

12 years 10 months ago
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
Dick de Jongh, Rineke Verbrugge, Albert Visser
Added 12 May 2011
Updated 12 May 2011
Type Journal
Year 2011
Where AML
Authors Dick de Jongh, Rineke Verbrugge, Albert Visser
Comments (0)