MA 209: Logic: classical, modal and intuitionistic

Credits: 3:0


Pre-requisites :

  1. No prior knowledge of logic is assumed.
  2. Background in reading and doing mathematical proofs will be assumed.

This course is an introduction to standard material in logic, based on classical first-order logic, after which it ventures into modern treatments of some non-classical logics. Although other proof methods will be discussed, the emphasis will be on proofs using tableaus.

Topics:


Suggested books and references:

  1. I. Chiswell and W. Hodges, Mathematical logic, Oxford Univ Press, 2007.
  2. M.C. Fitting, First-order logic and automated theorem proving, Springer, 2nd edition, 1996.
  3. M.C. Fitting, Proof methods for modal and intuitionistic logics, Reidel, 1983.
  4. M.C. Fitting and R. Mendelsohn, First-order modal logic, Kluwer, 1998.

All Courses


Contact: +91 (80) 2293 2711, +91 (80) 2293 2265 ;     E-mail: chair.math[at]iisc[dot]ac[dot]in
Last updated: 05 Dec 2019