[logic-ml] 雑誌（Logica universalis）の宣伝 from Prof. Beziau

[Ichiro Hasuo]

logic-ml のみなさま，

上出哲広さんのご依頼により，以下のメッセージを転送します．
よろしくお願いいたします．

蓮尾 一郎

------------------------------------------------------------
Dear colleagues,

the following message is from Prof. Jean-Yves Beziau
("Universal Logic" <universal.logic at ufc.br>).

---------------------------------------------------------------
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
---------------------------------------------------------------