PP-2006-25: Intuitionistic Logic

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

Text (Full Text)

Download (383kB) | Preview
[img] 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