1995 European Summer Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic 3 (1):73-147 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/421198

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium'93: Keele, England, July 20–29, 1993.Wilfrid Hodges - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.
2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
1999 european summer meeting of the association for symbolic logic logic colloquium'99.Maarten de Rijke Pauly, Frans Snijders & Yde Venema - 2000 - Bulletin of Symbolic Logic 6 (1):103.
European summer meeting of the association for symbolic logic: Leeds, 1979.F. R. Drake & S. S. Wainer - 1981 - Journal of Symbolic Logic 46 (2):435-446.
1996 European Summer Meeting of the Association for Symbolic Logic.Daniel Lascar - 1997 - Bulletin of Symbolic Logic 3 (2):242-277.
1994 European Summer Meeting of the Association for Symbolic Logic.Maciej LiSkiewicz & Riidiger Reischuk - 1995 - Bulletin of Symbolic Logic 1 (2):203-268.
1994 European Summer meeting of the Association for Symbolic Logic.Richard A. Shore - 1995 - Bulletin of Symbolic Logic 1 (2):203-268.
1997 european summer meeting of the association for symbolic logic.M. Rathjen, R. Shore, J. Steel & A. Wilkie - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.
European summer meeting of the association for symbolic logic: Aachen, 1983.W. Obserschelp, B. Schinzel, W. Thomas & M. M. Richter - 1985 - Journal of Symbolic Logic 50 (1):259-283.
European summer meeting of the association for symbolic logic.Chris Johnson, John Stell & Alan Treherne - 1995 - Bulletin of Symbolic Logic 1 (1).
European summer meeting of the Association for Symbolic Logic.László Csirmaz - 1993 - Journal of Symbolic Logic 58 (3):1098-1149.

Analytics

Added to PP
2014-03-30

Downloads
25 (#638,434)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
Proof-theoretic analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.

View all 32 references / Add more references