Direct deductive computation on discourse representation structures
- 1 August 1994
- journal article
- Published by Springer Nature in Linguistics and Philosophy
- Vol. 17 (4) , 343-390
- https://doi.org/10.1007/bf00985573
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A natural deduction system for discourse representation theoryJournal of Philosophical Logic, 1993
- Computation with run time skolemisation (N-Prolog part 3)Journal of Applied Non-Classical Logics, 1993
- A compact representation of proofsStudia Logica, 1987
- Belief in discourse representation theoryJournal of Philosophical Logic, 1986
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failureThe Journal of Logic Programming, 1985
- XIII—Context, Thought and CommunicationProceedings of the Aristotelian Society (Hardback), 1985
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- Semantical Analysis of Intuitionistic Logic IPublished by Elsevier ,1965
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965