- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Direct deductive computation on discourse representation structures
Linguistics and Philosophy 17 (4):343 - 390 (1994)
Abstract
This article has no associated abstract. (fix it)Author Profiles
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.
Representations versus regularities: Does computation require representation?Andrew R. Bailey - 1994 - Eidos: The Canadian Graduate Journal of Philosophy 12 (1):47-58.
Why computation need not be traded only for internal representation.Robert S. Stufflebeam - 1997 - Behavioral and Brain Sciences 20 (1):80-81.
A theory of hierarchical consequence and conditionals.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Logic, Language and Information 19 (1):3-32.
A calculus for first order discourse representation structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.
Generic generalisations, discourse representation structures, and knowledge representation.Gerhard Heyer - 1988 - In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.
Analytics
Added to PP
2009-01-28
Downloads
124 (#142,568)
6 months
10 (#251,846)
2009-01-28
Downloads
124 (#142,568)
6 months
10 (#251,846)
Historical graph of downloads
Author Profiles
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.
Labelled resolution for classical and non-classical logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
Reasoning without believing: on the mechanisation of presuppositions and partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
References found in this work
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo