Cool Logic

Alexander Block (ILLC)

Kripke Models for First-Order Intuitionistic Logic

May 31st at 17:30, in Science Park 107 F1.15

In this talk I will show how to use a generalized notion of Kripke models to provide models for first-order intuitionistic logic. I will begin by giving a short introduction to the history of and the general ideas behind intuitionistic logic. Then I will show how Kripke models can be used to capture these ideas and to give a sound and complete semantics for first-order intuitionistic logic. After that I will close my talk with a few simple applications of this semantics to obtain interesting results about intuitionistic logic itself.