A resolution calculus for presuppositions

Abstract

The semantics of everyday language and the semantics..

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The relative complexity of analytic tableaux and SL-resolution.André Vellino - 1993 - Studia Logica 52 (2):323 - 337.
Minimum propositional proof length is NP-Hard to linearly approximate.Michael Alekhnovich, Sam Buss, Shlomo Moran & Toniann Pitassi - 2001 - Journal of Symbolic Logic 66 (1):171-191.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
The resolution calculus, Alexander Leitsch.Hans de Nivelle - 1998 - Journal of Logic, Language and Information 7 (4):499-502.
Presuppositional Epistemic Contextualism and the Problem of Known Presuppositions.Michael Blome-Tillmann - 2012 - In Jessica Brown & Mikkel Gerken (eds.), Knowledge Ascriptions. Oxford University Press. pp. 104-119.
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..

Analytics

Added to PP
2010-02-07

Downloads
47 (#323,378)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Presupposition and two-dimensional logic.Merrie Bergmann - 1981 - Journal of Philosophical Logic 10 (1):27 - 53.

Add more references