PP-2010-07: Intermediate Logics and the de Jongh Property

PP-2010-07: de Jongh, Dick and Verbrugge, Rineke and Visser, Albert (2010) Intermediate Logics and the de Jongh Property. [Report]

Preview	Text (Full Text) PP-2010-07.text.pdf Download (269kB) \| Preview
	Text (Abstract) PP-2010-07.abstract.txt Download (287B)

Abstract

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

Item Type:	Report
Report Nr:	PP-2010-07
Series Name:	Prepublication (PP) Series
Year:	2010
Uncontrolled Keywords:	intermediate logic; Heyting's Arithmetic
Subjects:	Logic
Depositing User:	Prof. Dick de Jongh
Date Deposited:	12 Oct 2016 14:37
Last Modified:	12 Oct 2016 14:37
URI:	https://eprints.illc.uva.nl/id/eprint/386

View Item