Remarks on Descriptions and Natural Deduction

Archive for Mathematical Logic 3 (1-2):50 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01977152

Other Versions

No versions found

Links

PhilArchive



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

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

Montague Richard and Kalish Donald. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 50–64, 65–73. [REVIEW]Jaakko Hintikka - 1958 - Journal of Symbolic Logic 23 (4):449-450.
Remarks on Description and Natural Deduction.Richard Montague - 1957 - Archive for Mathematical Logic 3 (3-4):65.
Natural deduction and normal form for intuitionistic linear logic.S. Negri - forthcoming - Archive for Mathematical Logic.
A semantical proof of the strong normalization theorem for full propositional classical natural deduction.Karim Nour & Khelifa Saber - 2006 - Archive for Mathematical Logic 45 (3):357-364.
A possibility-free logic of descriptions.Ermanno Bencivenga - 1984 - Archive for Mathematical Logic 24 (1):159-165.
Remarks on Limitultrapowers.Halldor Guđjónsson - 1970 - Archive for Mathematical Logic 13 (3-4):154-157.
Remarks on Natural Deduction.E. W. Beth - 1957 - Journal of Symbolic Logic 22 (4):360-363.
Various remarks on quasi-universal model classes.Klaus Kaiser - 1975 - Archive for Mathematical Logic 17 (3-4):91-95.
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory.Roger Hindley & Gerd Mitschke - 1977 - Archive for Mathematical Logic 18 (1):99-103.
A normalizing system of natural deduction for intuitionistic linear logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.

Analytics

Added to PP
2017-02-22

Downloads
24 (#916,910)

6 months
7 (#730,543)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pragmatics and intensional logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.
Pragmatics and intensional logic.Richard Montague - 1970 - Dialectica 24 (4):277-302.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references