References
Barwise, J., 1989, The Situation in Logic, Stanford: CSLI.
Gabbay, D., 1994a, “What is a deductive system,” in What Is a Deductive System?, D. Gabbay, ed., Oxford: Clarendon Press.
Gabbay, D., 1994b, “Classical vs non-classical logics (the universality of classical logic),” pp. 359–500 in Handbook of Logic, Artificial Intelligence and Logic Programming Volume 2: Deduction Methodologies, D. Gabbay, C. Hogger, and J. Robinson, eds., Oxford: Clarendon Press.
Gabbay, D. and Kempson, R., 1992, “Natural language content: A proof-theoretic perspective,” in Proceedings of the Eighth Amsterdam Colloquium, P. Dekker and M. Stokhof, eds., Amsterdam: ILLC.
Gabbay, D., Kempson, R., and Pitt, J.V., 1994, “Labelled abduction and relevance reasoning,” pp. 155–186 in Nonstandard Queries and Nonstandard Answers, F. Demolombe and T. Imielinski, eds., Oxford University Press.
Kamp, H. and Reyle, U., 1993, From Discourse to Logic, Dordrecht: Kluwer.
Kempson, R., 1995, “Ellipsis as labelled deduction,” pp. 489–526 in Language and Deduction. Bulletin for the Interest Group in Pure and Applied Logics, Volume 3, Nos. 2, 3, R. Kempson, ed., Saarbrücken: Max Planck Institut für Informatik and London: Imperial College.
Moortgat, M., 1988, Categorial Investigations, Dordrecht: Foris.
Morrill, G., 1994, Type-Logic Grammar, Dordrecht: Kluwer.
Oehrle, R., 1995, “Term-labeled categorial type systems,” Linguistics and Philosophy 17, 633–678.
van Benthem, J., 1991, Language in Action, Dordrecht: Reidel.
Rights and permissions
About this article
Cite this article
Gabbay, D., Kempson, R. Language and proof theory. J Logic Lang Inf 5, 247–251 (1996). https://doi.org/10.1007/BF00159340
Issue Date:
DOI: https://doi.org/10.1007/BF00159340