Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Thursday, August 6 • 11:00 - 13:00
A1.1 Mathematical Logic

Sign up or log in to save this to your schedule and see who's attending!

6 August 11:00-13:00

SPEAKERS AND TITLES

On Implicational Connectives of Quantum Logics for Non-commutative
Substructural Logics formulated Gentzen-style Natural Deduction
Takeshi Ueno, Food Science and Human Wellnes, Rakuno-Gakuen University, Ebetsu, JAPAN 

A theory for systems of propositions referring to each other
Denis Saveliev, Institute for Information Transmission Problems, Russian Academy of Sciences, Moscow, RUSSIAN FEDERATION

Logic and philosophy of trial and error mathematics: Dialectical and quasi-dialectical systems
Luca San Mauro, Faculty of Humanities, Scuola Normale Superiore, Pisa, ITALY
Jacopo Amidei, Faculty of Humanities, Scuola Normale Superiore, Pisa, ITALY
Duccio Pianigiani, Mathematics, University of Siena, Siena, ITALY
Andrea Sorbi, Mathematics, University of Siena, Siena, ITALY 

Some general results on the translations between logics and theories
Luiz Carlos Pereira, Philosophy, PUC-Rio/UERJ, Rio de Janeiro, BRAZIL
Edward Hermann Haeusler, Computer Science, PUC-Rio, Rio de Janeiro, BRAZIL 

Chairs
Speakers
avatar for Luca San Mauro

Luca San Mauro

Scuola Normale Superiore
DS

Denis Saveliev

Russian Academy of Sciences
TU

Takeshi Ueno

Rakuno-Gakuen University



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 16

Attendees (11)