About this Event
1250 Ashland St Ashland, OR 97520 United States
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.
Event Details
See Who Is Interested
0 people are interested in this event
User Activity
No recent activity