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


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 

avatar for Luca San Mauro

Luca San Mauro

Scuola Normale Superiore

Denis Saveliev

Russian Academy of Sciences

Takeshi Ueno

Rakuno-Gakuen University

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

Attendees (11)