Intermediate logics and the de Jongh property

DSpace/Manakin Repository

Intermediate logics and the de Jongh property
 
Jongh, D.H.J.; Verbrugge, R.; Visser, A.
(2009) Logic Group Preprint Series, volume 281, pp. 1 - 17
(Preprint)
Abstract
We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
Download/Full Text
Open Access version via Utrecht University Repository Publisher version
 
Keywords: intuitionistic logic, Heyting’s arithmetic, de Jongh property
ISSN: 0929-0710
Publisher: University of Utrecht, Department of Philosophy
Note: Dedicated to Petr Hájek, on the occasion of his 70th Birthday.
 
See more statistics about this item