Ohio State nav bar

Logic Seminar - Neil DeBoer

Neil DeBoer
April 3, 2018
1:45PM - 2:45PM
University Hall 051

Date Range
Add to Calendar 2018-04-03 13:45:00 2018-04-03 14:45:00 Logic Seminar - Neil DeBoer Title: Understanding implication by comparing justification logic and type theory, III Speaker: Neil DeBoer (Ohio State University) Abstract: There is some controversy about the BHK (Brouwer–Heyting–Kolmogorov) interpretation of implication, which leads to an alternative interpretation of implication. We will use Justification Logic (a logic invented by Artemov to model reasoning about justifications or evidence) and Type Theory to see if we can gain any insight into this alternate interpretation.  (This is the third of three talks on the subject.) University Hall 051 Department of Mathematics math@osu.edu America/New_York public

Title: Understanding implication by comparing justification logic and type theory, III

Speaker: Neil DeBoer (Ohio State University)

Abstract: There is some controversy about the BHK (Brouwer–Heyting–Kolmogorov) interpretation of implication, which leads to an alternative interpretation of implication. We will use Justification Logic (a logic invented by Artemov to model reasoning about justifications or evidence) and Type Theory to see if we can gain any insight into this alternate interpretation. 

(This is the third of three talks on the subject.)

Events Filters: