Southern Oregon University
Sign Up

1250 Ashland St Ashland, OR 97520 United States

View map Free Event

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.

0 people are interested in this event

User Activity

No recent activity