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]

[thumbnail of Full Text]
Text (Full Text)

Download (269kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (287B)


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

Actions (login required)

View Item View Item