default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 81
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
- Pavel Naumov:
On Modal Logics of Partial Recursive Functions. 295-309 - Joan Gispert, Antoni Torrens:
Axiomatic Extensions of IMT3 Logic. 311-324 - Guram Bezhanishvili, Leo Esakia, David Gabelaia:
Some Results on Modal Axiomatization and Definability for Topological Spaces. 325-355 - Lawrence Peter Belluce, Antonio Di Nola:
Frames and MV-algebras. 357-385 - Victor Pambuccian:
Groups and Plane Geometry. 387-398 - Katalin Bimbó:
Admissibility of Cut in LC with Fixed Point Combinator. 399-423 - Roderic A. Girle:
Melvin Fitting, Types Tableaus and Gödel's God. 425-427
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
