Combining relational and algebraic semantics Puncochár Vít, Department of Logic, Institute of Philosophy, Czech Academy of Sciences, Prague, CZECH REPUBLIC
The modal logic of symmetric forcing Alexander Carstensen Block, Department of Mathematics, University of Hamburg, Hamburg, GERMANY
The proof-theoretic approach to evolutionary biology - can we work out a logic of evolution? Andreea Esanu, Theoretical Philosophy and Logic, University of Bucharest, Bucharest, ROMANIA
Quantified intuitionistic and modal logic over metrizable spaces Philip Kremer, Philosophy, University of Toronto Scarborough, Toronto, CANADA
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
SPEAKERS AND TITLES On Gödel numbering Abraham Lim Ken Zhi, Institute of Philosophy of Mind and Cognition, National Yang-Ming University, Taipei, TAIWAN On the problem of preserving finite axiomatizability of a finite matrix under term-equivalence Aleksandra Samonek, Logic, Jagiellonian University, Krakow, POLAND
Do infinitely often equal trees add Cohen reals? Yurii Khomskii, Kurt Gödel Research Center (KGRC), University of Vienna, Vienna, AUSTRIA Giorgio Laguzzi, University of Freiburg, Freiburg, GERMANY Justifying Deductive Inference Mathieu Beirlaen, Institute for Philosophy II, Ruhr University Bochum, Waregem, BELGIUM
Extending the set of variables in propositional logics Carles Noguera, Decision Making Theory, Institute of Information Theory and Automation, Prague, CZECH REPUBLIC Petr Cintula, Theoretical Computer Science, Institute of Computer Science, Prague, CZECH REPUBLIC
Residuated lattices with Galois connections as monadic operators Michiro Kondo, Information Environment , School of Information Environment , Inzai, JAPAN
The Librationist Domination of Second Order Arithmetic Frode Bjørdal, Philosophy, Classics and History of Art and Ideas, University of Oslo, Oslo, NORWAY
A Constructive Justification of Brouwer’s Bar Induction Ryota Akiyoshi, Faculty of Letters , Kyoto University, Kanagawaken, JAPAN