Direct deductive computation on discourse representation structures

&
Linguistics and Philosophy 17 (4):343 - 390 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00985573

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Hans Kamp & Uwe Reyle, From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. [REVIEW]Varol Akman - 1995 - Computational Linguistics 21 (2):265-268.
Labelled deductive systems, volume 1, Dov M. Gabbay.Geert-Jan M. Kruijff - 1998 - Journal of Logic, Language and Information 7 (4):502-506.
Review: Dov M. Gabbay, Investigations in Modal and Tense Logics with Application to Problems in Philosophy and Linguistics. [REVIEW]Kit Fine - 1979 - Journal of Symbolic Logic 44 (4):656-657.
Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical problems from applied logic I.Anders Søgaard - 2007 - Studia Logica 87 (2-3):363-367.
Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Dov M. Gabbay and John Woods.Formal Approaches To Practical - 2002 - In Dov M. Gabbay (ed.), Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier.
Dov M. Gabbay, Fibring Logics.A. Sernadas - 2000 - Journal of Logic Language and Information 9 (4):511-513.
Review: Dov M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic. [REVIEW]Wim Veldman - 1986 - Journal of Symbolic Logic 51 (3):824-824.
Guido Boella Dov M. Gabbay Leendert van der Torre Serena Villata.Dov M. Gabbay - 2006 - Studia Logica 82:1-59.
John Woods, Ralph H. Johnson, Dov M. Gabbay.Hans Jurgen Ohlbach - 2002 - In Dov M. Gabbay (ed.), Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier.

Analytics

Added to PP
2009-01-28

Downloads
126 (#143,135)

6 months
9 (#436,631)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem
Uwe Reyle
Universität Stuttgart

Citations of this work

A calculus for first order discourse representation structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.
Inference and computational semantics.Patrick Blackburn & Michael Kohlhase - 2004 - Journal of Logic, Language and Information 13 (2):117-120.

Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Questions in montague english.Charles L. Hamblin - 1973 - Foundations of Language 10 (1):41-53.
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.

View all 17 references / Add more references