Logic List Mailing Archive

Open access to Logica Universalis available up to 31 Dec 2010

Open access to all papers published in Logica Universalis is avalaible up
to December 31st:
http://www.springer.com/birkhauser/mathematics/journal/11787

The latest issue of the journal is on the topic "is logic universal?"
In the next future there will be special issues of Logica Universalis on the
following topics:
- Visual reasoning with diagrams
- Multimodal logics
- Categorical logic
- Hexagon of opposition
Submissions are welcome. See details on the website:
http://www.logica-universalis.org

Subscription to the print version of the journal is avalaible
at a very good price for individuals: 38 euros per year including postage
and handling.

Up to December 31st you can freely download many interesting papers; among
them:

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

Human Rationality Challenges Universal Logic
Brian R. Gaines
http://www.springerlink.com/content/y7400543luq15pr8/

A New Modal Lindstrom Theorem
Johan van Benthem
http://www.springerlink.com/content/t26u1781q78508x2/

Birkhoff Completeness in Institutions
Mihai Codescu and Daniel Gaina
http://www.springerlink.com/content/mwjq228g57886234/

Symmetric Generalized Galois Logics
Katalin Bimbo and J. Michael Dunn
http://www.springerlink.com/content/4t680856130n006l/

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

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

A Global Glance on Categories in Logic
Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano and Hugo
Luiz Mariano
http://www.springerlink.com/content/r20801v7m4x33687/


Things That are Right with the Traditional Square of Opposition
Terence Parsons
http://www.springerlink.com/content/813595g60860521g/

From Fibring to Cryptofibring. A Solution to the Collapsing Problem
Carlos Caleiro and Jaime Ramos
http://www.springerlink.com/content/a46238u2202112k1/

Applications of Squares of Oppositions and Their Generalizations in
Philosophical Analysis
Jan Wolenski
http://www.springerlink.com/content/g7063211k0543g72/

Abstract Logics, Logic Maps, and Logic Homomorphisms
Steffen Lewitzka
http://www.springerlink.com/content/t4n1107028j10g62/

The Geometry of Standard Deontic Logic
Alessio Moretti
http://www.springerlink.com/content/c42816t520204h36/

A Galois Connection
Stan J. Surma
http://www.springerlink.com/content/h751458482403267/

Russell and His Sources for Non-Classical Logics
Irving H. Anellis
http://www.springerlink.com/content/u1u6432708318164/

Two Semantical Approaches to Paraconsistent Modalities
Juliana Bueno-Soler
http://www.springerlink.com/content/5081653774812125/

The Concept of Relevance and the Logic Diagram Tradition
Jan Dejnozka
http://www.springerlink.com/content/502120568051v101/

Visualizations of the Square of Opposition
Peter Bernhard
http://www.springerlink.com/content/9396438661516177/

Some Multi-Conclusion Modal Paralogics
Casey McGinnis
http://www.springerlink.com/content/du27x0484h74t425/

Aristotle?s Non-Logical Works and the Square of Oppositions in Semiotics
Stefania Bonfiglioli
http://www.springerlink.com/content/hp02207266jg02l1/

New Dimensions on Translations Between Logics
Walter A. Carnielli, Marcelo E. Coniglio and Itala M. L. D?Ottaviano
http://www.springerlink.com/content/tm8q11233476p382/

Aristotle?s Cubes and Consequential Implication
Claudio Pizzi
http://www.springerlink.com/content/a41110787406n234/

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties
Francesco Paoli, Matthew Spinks and Robert Veroff
http://www.springerlink.com/content/e9842t1t4107jm68/


>------------------
Jean-Yves Beziau
Editor-in-Chief
Logica Universalis
http://www.logica-universalis.org