Volume 81,
Number 1,
October 2005
- Joachim Lambek, Philip J. Scott:
An Exactification of the Monoid of Primitive Recursive Functions.
1-18
Electronic Edition (link) BibTeX
- Liza Verhoeven, Leon Horsten:
On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries.
19-24
Electronic Edition (link) BibTeX
- Maria Bulinska:
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.
43-50
Electronic Edition (link) BibTeX
- Tarek Sayed Ahmed:
On Amalgamation in Algebras of Logic.
61-77
Electronic Edition (link) BibTeX
- Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch:
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.
79-98
Electronic Edition (link) BibTeX
- Petr Cintula:
Two notions of compactness in Gödel logics.
99-123
Electronic Edition (link) BibTeX
- Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri:
Representations of monadic MV -algebras.
123-144
Electronic Edition (link) BibTeX
- Jan Wolenski:
Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 pp, ISBN 0 521 53361 9.
145-150
Electronic Edition (link) BibTeX
Volume 81,
Number 2,
November 2005
- Tadeusz Litak, Frank Wolter:
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.
153-165
Electronic Edition (link) BibTeX
- Andrei Popescu:
Lukasiewicz-Moisil Relation Algebras.
167-189
Electronic Edition (link) BibTeX
- Torben Braüner:
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.
191-226
Electronic Edition (link) BibTeX
- Ralf Küsters, Ralf Molitor:
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.
227-259
Electronic Edition (link) BibTeX
- Dmitrij P. Skvortsov:
On the Predicate Logic of Linear Kripke Frames and some of its Extensions.
261-282
Electronic Edition (link) BibTeX
- Ewa Palka:
Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, pp xi + 282, ISBN 0-306-47712-2.
283-292
Electronic Edition (link) BibTeX
Volume 81,
Number 3,
December 2005
Copyright © Sun May 17 00:22:07 2009
by Michael Ley (ley@uni-trier.de)