PP-2006-25: Intuitionistic Logic

PP-2006-25: Bezhanishvili, Nick and de Jongh, Dick (2006) Intuitionistic Logic. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (527B)


In this course we give an introduction to intuitionistic logic. We
concentrate on the propositional calculus mostly, make some minor
excursions to the predicate calculus and to the use of intuitionistic
logic in intuitionistic formal systems, in particular Heyting
Arithmetic. We have chosen a selection of topics that show various
sdes of intuitionistic logic. In no way we strive for a complete
overview in this hsort course.

Item Type: Report
Report Nr: PP-2006-25
Series Name: Prepublication (PP) Series
Year: 2006
Uncontrolled Keywords: Intuitionistic Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/200

Actions (login required)

View Item View Item