Logo

Intuitionistic Logic by Nick Bezhanishvili, Dick de Jongh

Small book cover: Intuitionistic Logic

Intuitionistic Logic
by

Publisher: Universiteit van Amsterdam
Number of pages: 57

Description:
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 sides of intuitionistic logic.

Download or read it online for free here:
Download link
(370KB, PDF)

Similar books

Book cover: Lectures on Linear LogicLectures on Linear Logic
by - CSLI
This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
(9081 views)
Book cover: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(9233 views)
Book cover: Topics in Logic and FoundationsTopics in Logic and Foundations
by - The Pennsylvania State University
This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.
(1928 views)
Book cover: Symbolic Logic: A First CourseSymbolic Logic: A First Course
by - Mcgraw-Hill College
Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.
(10596 views)