April 3, 2018
1:45PM - 2:45PM
University Hall 051
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
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
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.)