CRM: Centro De Giorgi

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

logo sns

Non-classical Logics: from Foundations to Applications

24 April 2008 - 26 April 2008

Timetable

Weeks: [Thu 24 Apr - Sat 26 Apr]
Date Time Speaker Room
Thu 24 Apr 9:00- 10:00 Registration and Greetings
10:00- 11:00 Hàjek, Pter
"Complexity of fuzzy logic - an introduction"
11:00- 11:30 Coffee Break
11:30- 12:30 Baaz, Matthias
"The S5 analoguous fragment of fuzzy logics"
14:30- 15:30 Marra, Vincenzo
"De Finetti's coherence criterion and finitely additive measures on algebras of many-valued logics"
15:30- 16:30 Aguzzoli, Stefano
"De Finetti's coherence criterion and finitely additive measures on algebras of many-valued logics - Part 2: The case of Gödel logic"
16:30- 17:00 Coffee Break
17:00- 18:00 Bova, Simone
"Functional Representation of BL-Algebras"
Fri 25 Apr 9:00- 10:00 Williamson, Jon
"Probabilistic Logic and Probabilistic Networks"
10:00- 11:00 Flaminio, Tommaso
"Probability of many-valued events: a many-valued logical approach"
11:00- 11:30 Coffee Break
11:30- 12:30 Ciabattoni, Agata
"From axioms to analytic rules in nonclassical logics"
14:30- 15:30 van der Hoek, Wiebe
"On Modal Logics for Cooperation and Coalition"
15:30- 16:30 Fermüller, Christian
"Dialogue games as foundations of non-classical logics"
Sat 26 Apr 9:00- 10:00 Caleiro, Carlos
"A bird's eye view on the joys and troubles of combined logics"
10:00- 11:00 Wheeler, Gregory
"Rethinking Psychologism in Logic"
11:00- 11:30 Coffee Break
11:30- 12:30 Leitsch, Alexander
"CERES: Analysis of the fifth Proof of the Infinity of Primes"
14:30- 15:30 Paris, Jeff
"New Wave Inductive Logic"
15:30- 17:00 Round table