A presuppositional analysis of definite descriptions in proof theory

In Takashi Washio, Ken Satoh, Hideaki Takeda & Akihiro Inokuchi (eds.), New Frontiers in Artificial Intelligence. Springer. pp. 214--227 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.
Definite descriptions and negative existential quantifiers.Paul Elbourne - 2018 - Philosophical Studies 175 (7):1597-1612.
Russellian Definite Description Theory—a Proof Theoretic Approach.Andrzej Indrzejczak - 2023 - Review of Symbolic Logic 16 (2):624-649.
The temperature paradox and temporal interpretation.Maribel Romero - manuscript
Towards a Theory of Definite Descriptions.K. J. J. Hintikka - 1958 - Analysis 19 (4):79 - 85.
Alternative descriptions in line drawing analysis.P. C. Maxwell - 1974 - Artificial Intelligence 5 (4):325-348.
Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks.Fernando C. N. Pereira & David H. D. Warren - 1980 - Artificial Intelligence 13 (3):231-278.
A multimodal type logical grammar analysis of Japanese: word order and quantifier scope.Rui Otake & Kei Yoshimoto - 2008 - In Takashi Washio, Ken Satoh, Hideaki Takeda & Akihiro Inokuchi (eds.), New Frontiers in Artificial Intelligence. Springer. pp. 135--148.
Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
Demonstratives, definite descriptions and non-redundancy.Kyle Hammet Blumberg - 2020 - Philosophical Studies 177 (1):39-64.

Analytics

Added to PP
2014-01-29

Downloads
26 (#852,250)

6 months
3 (#1,470,638)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Koji Mineshima
Keio University

Citations of this work

Context Update for Lambdas and Vectors.Reinhard Muskens & Mehrnoosh Sadrzadeh - 2016 - In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla & Christian Rétoré (eds.), Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016). Berlin, Germany: Springer. pp. 247--254.

Add more citations

References found in this work

No references found.

Add more references