ジョン・バエズの記事 http://golem.ph.utexas.edu/category/2010/12/a_global_glance_on_categories.html によると、シュプリンガーが一時的に "Logica Universalis" という論理学のジャーナルをフリーアクセスにしているそうです。が、一時的なので、明日でオシマイ(until December 31st, 2010)なんだと。
急げ!
So, snatch as many papers you can before the great iron gate crashes closed again!
だから、あの忌々しい鉄の門がガッチリ閉じる前に、できるだけ多くの論文をガメておいたほうがいいぞ。
以下は、バエズが挙げていたリストです。僕は最初の2つだけダウンロードしました。
- 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/
- Birkhoff Completeness in Institutions
- Mihai Codescu and Daniel Gaina
- http://www.springerlink.com/content/mwjq228g57886234/
- Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
- Oliver Kutz, Till Mossakowski and Dominik Lu"cke
- http://www.springerlink.com/content/e170073t6676m765/
- Information Algebras and Consequence Operators
- Ju"rg Kohlas and Robert F. Sta"rk
- http://www.springerlink.com/content/38025j4544m62q52/
- On the 3D Visualisation of Logical Relations
- Hans Smessaert
- http://www.springerlink.com/content/k7487wwv0k3067k4/
- The Place of Logic in Reasoning
- Daniel Kayser
- http://www.springerlink.com/content/q3852284771m3521/
- A New Modal Lindstrom Theorem
- Johan van Benthem
- http://www.springerlink.com/content/t26u1781q78508x2/
- Symmetric Generalized Galois Logics
- Katalin Bimbo and J. Michael Dunn
- http://www.springerlink.com/content/4t680856130n006l/
- Strong Normalizability of Typed Lambda-Calculi for Substructural Logics
- Motohiko Mouri and Norihiro Kamide
- http://www.springerlink.com/content/05vg1q23042737qt/
- 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/
- 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/
- Abstract Logics, Logic Maps, and Logic Homomorphisms
- Steffen Lewitzka
- http://www.springerlink.com/content/t4n1107028j10g62/
- From Fibring to Cryptofibring. A Solution to the Collapsing Problem
- Carlos Caleiro and Jaime Ramos
- http://www.springerlink.com/content/a46238u2202112k1/
- Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
- David W. Miller
- http://www.springerlink.com/content/k62ml13t80g76v58/
- 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/
- Aristotle’s Cubes and Consequential Implication
- Claudio Pizzi
- http://www.springerlink.com/content/a41110787406n234/
- New Dimensions on Translations Between Logics
- Walter A. Carnielli, Marcelo E. Coniglio and Itala M. L. D’Ottaviano
- http://www.springerlink.com/content/tm8q11233476p382/