This is the old version of the CRM site. Please use the new site on the page crmdegiorgi.sns.it

seminar: Logical Necessity

speaker: Per Martin-Löf (University of Stockholm)

abstract: The purpose of my talk will be to contrast the necessity with which the conclusion follows from the premises in an inference with the necessity with which the consequent follows from the antecedents in a logical consequence.

timetable:
Wed 25 Jan, 9:30 - 10:30, Aula Dini
<< Go back