A natural deduction system for discourse representation theory

Journal of Philosophical Logic 22 (3):249 - 302 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01049304

Other Versions

No versions found

Links

PhilArchive

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

On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359-377.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.
Gödel’s Natural Deduction.Kosta Došen & Miloš Adžić - 2018 - Studia Logica 106 (2):397-415.
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
Minimal Complete Propositional Natural Deduction Systems.Amr Elnashar & Wafik Boulos Lotfallah - 2018 - Journal of Philosophical Logic 47 (5):803-815.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio, On Quine: New Essays. New York, NY, USA: Cambridge University Press. pp. 314--335.
Variable declarations in natural deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1-3):133-146.
A labelled natural deduction system for linear temporal logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.

Analytics

Added to PP
2009-01-28

Downloads
127 (#357,838)

6 months
23 (#460,952)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Discourse representation theory.Bart Geurts - 2008 - Stanford Encyclopedia of Philosophy.
Incremental dynamics.Jan van Eijck - 2001 - Journal of Logic, Language and Information 10 (3):319-351.
A calculus for first order discourse representation structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.

View all 9 citations / Add more citations

References found in this work

The Language of Thought.Jerry Fodor - 1975 - Harvard University Press.
Belief in discourse representation theory.Nicholas Asher - 1986 - Journal of Philosophical Logic 15 (2):127-189.
Symbolic logic.Richmond H. Thomason - 1969 - [New York]: Macmillan.
Symbolic Logic.Richmond H. Thomason - 1971 - Journal of Symbolic Logic 36 (4):678-678.

Add more references