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