On proving functional incompleteness in symbolic logic classes

&
Notre Dame Journal of Formal Logic 29 (2):235-248 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093637874

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Book review: David Lewis. Parts of classes. [REVIEW]Peter Forrest - 1991 - Notre Dame Journal of Formal Logic 32 (3):494-497.
Incompleteness of a logic of Routley's.A. Trew - 1968 - Notre Dame Journal of Formal Logic 9 (4):385-387.
An incompleteness theorem for conditional logic.Donald Nute - 1978 - Notre Dame Journal of Formal Logic 19 (4):634-636.
The necessity of the past and modal-tense logic incompleteness.Michael J. White - 1984 - Notre Dame Journal of Formal Logic 25 (1):59-71.
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 34 (4):648-649.
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]Lennart Aqvist & E. J. Lemmon - 1970 - Journal of Symbolic Logic 34 (4):648-649.
Incompleteness in intuitionistic metamathematics.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (3):323-358.
A note on Halldén-incompleteness.E. J. Lemmon - 1966 - Notre Dame Journal of Formal Logic 7 (4):296-300.
David Makinson. Some embedding theorems for modal logic. Notre Dame journal of formal logic, vol. 12 , pp. 252–254.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (2):351.
Counting functions.Fred Johnson - 1992 - Notre Dame Journal of Formal Logic 33 (4):567-568.

Analytics

Added to PP
2010-08-24

Downloads
42 (#514,015)

6 months
16 (#175,536)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references