[PT] free access to universal logic / papers of interest for proof-theoretists

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:
- Visual reasoning with 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 of special interest
for proof-theoretists:

Some General Results About Proof Normalization
Marc Aiguier and Delphine Longuet
http://www.springerlink.com/content/633qp17q6h23u446/

Many-Place Sequent Calculi for Finitely-Valued Logics
Alexej P. Pynko
http://www.springerlink.com/content/j74u60v53263gv40/

Strong Normalizability of Typed Lambda-Calculi for Substructural Logics
Motohiko Mouri and Norihiro Kamide
http://www.springerlink.com/content/05vg1q23042737qt/

Generalized Definitional Reflection and the Inversion Principle
Peter Schroeder-Heister
http://www.springerlink.com/content/e543v66615054247/

Structuralist Logic: Implications, Inferences, and Consequences
Arnold Koslow
http://www.springerlink.com/content/b7115xg144h521g1/

Modelling Inference in Argumentation through Labelled Deduction:
Formalization and Logical Properties
Carlos Ivan Chesnevar and Guillermo Ricardo Simari
http://www.springerlink.com/content/j3v6rx311n541818/

A Refutation Theory
Tomasz Skura
http://www.springerlink.com/content/r453h001066k0470/

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/

>------------------
Jean-Yves Beziau
Editor-in-Chief

Logica Universalis - Journal
http://www.birkhauser-science.com/LU

Studies in Universal logic - Book Series
http://www.springer.com/series/7391

World Congress and School on Universal Logic
http://www.uni-log.org