Southern Oregon University Logo

Friday Science Seminar: Intuitionistic Logic

Intuitionistic Logic is an alternative to classical logic, developed by L.E.J. Brouwer in the 20th century. It starts by denying the classical axiom of Excluded Middle (P or not P). It also gives a better treatment of "A implies B" than the classical formula (not A or B). This talk will cover the original ideas, the semantics (finite Kripke models), and the proof system (Gentzen sequent calculus) in Intuitionistic Logic.

Friday, February 21, 2020 at 3:30pm to 5:00pm

Science Building Room 151
1250 Ashland St Ashland, OR 97520 United States

Event Type

Lectures & Presentations

Target Audience

Faculty/Staff, Community, Students


lecture, science, logic



SOU English Department
Google Calendar iCal Outlook

Recent Activity