Volume 81,
Number 1,
October 2005
- Joachim Lambek, Philip J. Scott:
An Exactification of the Monoid of Primitive Recursive Functions.
1-18
- Liza Verhoeven, Leon Horsten:
On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries.
19-24
- Maria Bulinska:
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.
43-50
- Tarek Sayed Ahmed:
On Amalgamation in Algebras of Logic.
61-77
- Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch:
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.
79-98
- Petr Cintula:
Two notions of compactness in Gödel logics.
99-123
- Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri:
Representations of monadic MV -algebras.
123-144
- 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
Volume 81,
Number 2,
November 2005
- Tadeusz Litak, Frank Wolter:
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.
153-165
- Andrei Popescu:
Lukasiewicz-Moisil Relation Algebras.
167-189
- Torben Braüner:
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.
191-226
- Ralf Küsters, Ralf Molitor:
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.
227-259
- Dmitrij P. Skvortsov:
On the Predicate Logic of Linear Kripke Frames and some of its Extensions.
261-282
- 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
Volume 81,
Number 3,
December 2005
Last update Wed Feb 15 05:43:07 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
