BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
BEGIN:VEVENT
CATEGORIES:Lectures & Presentations
DESCRIPTION:Intuitionistic Logic is an alternative to classical logic\, dev
eloped by L.E.J. Brouwer in the 20th century. It starts by denying the clas
sical axiom of Excluded Middle (P or not P). It also gives a better treatme
nt 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.
DTEND:20200222T010000Z
DTSTAMP:20240416T143508Z
DTSTART:20200221T233000Z
GEO:42.185097;-122.697096
LOCATION:Science Building Room 151
SEQUENCE:0
SUMMARY:Friday Science Seminar: Intuitionistic Logic
UID:tag:localist.com\,2008:EventInstance_32637278080498
URL:https://events.sou.edu/event/friday_science_seminar_intuitionistic_logi
c
END:VEVENT
END:VCALENDAR