More download options

Choice and descriptions in enriched intensional languages — I

R. Routley, R. K. Meyer & L. Goddard

Journal of Philosophical Logic 3 (3):291 - 316 (1974) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Logic and Philosophy of Logic

Modal and Intensional Logic in Logic and Philosophy of Logic

Semantics in Philosophy of Language

Keywords

Reprint years

DOI

10.1007/bf00247229

Links

PhilArchive

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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Die zurückführung Des möglichen auf Das wirkliche.Peter Kügler - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (2):223 - 240.

The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.

Routley’s formulation of transparency.B. H. Slater - 1992 - History and Philosophy of Logic 13 (2):215-224.

An approach to intensional logic.Imre Ruzsa - 1981 - Studia Logica 40 (3):269 - 287.

A comparison of two intensional logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.

What Kind of Values Do Languages Have? Means of Communication and Cultural Heritage.Manuel Toscano - 2011 - Redescriptions. Yearbook of Political Thought, Conceptual History and Feminist Theory 15:171-184.

Intensionality and Intentionality.Stephen F. Barker - 1982 - Philosophy Research Archives 8:95-109.

Situated cognition: Stepping out of representational flatland.William J. Clancey - 1991 - AI Communications: The European Journal on Artificial Intelligence 4 (2/3):109-112.

Interpreting Descriptions in Intensional Type Theory.Jesper Carlström - 2005 - Journal of Symbolic Logic 70 (2):488 - 514.

Analytics

Added to PP
2009-01-28

Downloads
50 (#315,913)

6 months
9 (#300,097)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.

Pure semantics and applied semantics.B. J. Copeland - 1983 - Topoi 2 (2):197-204.

A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic.J. Michael Dunn - 1979 - Studia Logica 38 (2):149 - 169.

Universal semantics?Richard Routley - 1975 - Journal of Philosophical Logic 4 (3):327 - 356.

Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.

View all 8 citations / Add more citations

References found in this work

Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.

General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.

English as a Formal Language.Richard Montague - 1970 - In Bruno Visentini (ed.), Linguaggi nella societa e nella tecnica. Edizioni di Communita. pp. 188-221.

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.

Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 11 references / Add more references