Non-classical Logics: from Foundations to Applications

24 April 2008 - 26 April 2008

Invited Speakers

[table view]

Stefano Aguzzoli

Dipartimento di Scienze dell'Informazione, Università di Milano
Talk: De Finetti's coherence criterion and finitely additive measures on algebras of many-valued logics - Part 2: The case of Gödel logic

Matthias Baaz

Vienna, Tech. Universitaet
Talk: The S5 analoguous fragment of fuzzy logics

Simone Bova

Dipartimento di Matematica, Università di Siena
Talk: Functional Representation of BL-Algebras

Carlos Caleiro

Departamento de Matemática, Instituto Superior Técnico, Lisboa
Talk: A bird's eye view on the joys and troubles of combined logics

Agata Ciabattoni

Vienna, Tech. Universitaet
Talk: From axioms to analytic rules in nonclassical logics

Christian Fermüller

Technische Universität Wien
Talk: Dialogue games as foundations of non-classical logics

Tommaso Flaminio

Dipartimento di Matematica, Università di Siena
Talk: Probability of many-valued events: a many-valued logical approach

Pter Hàjek

Academy of Sciences, Prague
Talk: Complexity of fuzzy logic - an introduction

Alexander Leitsch

Vienna, Tech. Universitaet
Talk: CERES: Analysis of the fifth Proof of the Infinity of Primes

Vincenzo Marra

Dipartimento di Matematica "Federigo Enriques", Università degli Studi di Milano
Talk: De Finetti's coherence criterion and finitely additive measures on algebras of many-valued logics

[<<Prev - Next>>]