Language and proof theory

&
Journal of Logic, Language and Information 5 (3-4):247-251 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00159340

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

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

Technical report tr-Arp-11-94.Greg Restall - unknown
Language Understanding: A Procedural Perspective.Ruth Kempson, Wilfried Meyer-Viol & Dov Gabbay - unknown
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Parsing natural language using LDS: a prototype.M. Finger, R. Kibble, D. Gabbay & R. Kempson - 1997 - Logic Journal of the IGPL 5 (5):647-671.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.
Natural-Language Content: A Proof-Theoretic Perspective.Dov Gabbay & Ruth Kempson - 1992 - In Proceedings of the Eigth Amsterdam Formal Semantics Colloqium. University of Amsterdam.

Analytics

Added to PP
2009-01-28

Downloads
48 (#329,524)

6 months
1 (#1,463,894)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem
Ruth Kempson

Citations of this work

No citations found.

Add more citations

References found in this work

The Situation in Logic.Jon Barwise - 1988 - Cambridge, England: Center for the Study of Language and Inf.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.

Add more references