logic-ml のみなさま，
上出哲広さんのご依頼により，以下のメッセージを転送します． よろしくお願いいたします．
蓮尾 一郎
------------------------------------------------------------ Dear colleagues,
the following message is from Prof. Jean-Yves Beziau ("Universal Logic" [email protected]).
--------------------------------------------------------------- Free access to all papers published in Logica Universalis is avalaible up to November 30: http://www.springer.com/birkhauser/mathematics/journal/11787
Last issue of the journal is on the topic "is logic universal?" In the next future there will be special issues of the journal on the following topics: - Logic diagrams - Multimodal logics - Categorical logics - Hexagon of opposition
Subscription to the print version (hard copy) of the journal is avalaible at a very good price for individuals (38 euros per year including postage and handling).
Among many interesting papers published since the start of the journal - freely downloadable up to November 30 - you can find:
Human Rationality Challenges Universal Logic Brian R. Gaines http://www.springerlink.com/content/y7400543luq15pr8/fulltext.pdf
Logic and Natural Selection Jaroslav Peregrin http://www.springerlink.com/content/4673765064677577/fulltext.pdf
Birkhoff Completeness in Institutions Mihai Codescu and Daniel Gaina http://www.springerlink.com/content/mwjq228g57886234/fulltext.pdf
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics Motohiko Mouri and Norihiro Kamide http://www.springerlink.com/content/05vg1q23042737qt/fulltext.pdf
Some General Results About Proof Normalization Marc Aiguier and Delphine Longuet http://www.springerlink.com/content/633qp17q6h23u446/fulltext.pdf
Many-Place Sequent Calculi for Finitely-Valued Logics Alexej P. Pynko http://www.springerlink.com/content/j74u60v53263gv40/fulltext.pdf
Generalized Definitional Reflection and the Inversion Principle Peter Schroeder-Heister http://www.springerlink.com/content/e543v66615054247/fulltext.pdf
Structuralist Logic: Implications, Inferences, and Consequences Arnold Koslow http://www.springerlink.com/content/b7115xg144h521g1/fulltext.pdf
From Fibring to Cryptofibring. A Solution to the Collapsing Problem
Carlos Caleiro and Jaime Ramos http://www.springerlink.com/content/a46238u2202112k1/fulltext.pdf
A New Modal Lindstrom Theorem Johan van Benthem http://www.springerlink.com/content/t26u1781q78508x2/fulltext.pdf
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics Arnon Avron, Jonathan Ben-Naim and Beata Konikowska http://www.springerlink.com/content/22k5lqggp0641v42/fulltext.pdf
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules Alexej P. Pynko http://www.springerlink.com/content/7r5252m4360142w3/fulltext.pdf
Jean-Yves Beziau Editor-in-Chief Logica Universalis http://www.logica-universalis.org ---------------------------------------------------------------