CLMPS 2015 has ended
Back To Schedule
Thursday, August 6 • 11:00 - 13:00
A1.1 Mathematical Logic

Sign up or log in to save this to your schedule, view media, leave feedback 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 EEST
Main Building, Room 16

Attendees (0)