A note on Halldén-incompleteness

Notre Dame Journal of Formal Logic 7 (4):296-300 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093958745

Links

PhilArchive



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

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

A note concerning the paradoxes of strict implication and Lewis's system S.Sören Halldén - 1948 - Journal of Symbolic Logic 13 (3):138 - 139.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
Evidentiary value: philosophical, judicial, and psychological aspects of a theory: essays dedicated to Sören Halldén on his sixtieth birthday.Peter Gärdenförs, Bengt Hansson, Nils-Eric Sahlin & Sören Halldén (eds.) - 1983 - Lund: C.W.K. Gleerups.
Arithmetic and Logic Incompleteness: the Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
A note on incompleteness and heterologicality.Peter M. Sullivan - 2003 - Analysis 63 (1):32–38.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown
Note on Goodstein's 'the significance of incompleteness theorems'.Arthur I. Fine - 1964 - British Journal for the Philosophy of Science 15 (58):140-141.
Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Incompleteness, complexity, randomness and beyond.Cristian S. Calude - 2002 - Minds and Machines 12 (4):503-517.
The Semantic Theory of Truth: Field’s Incompleteness Objection.Glen A. Hoffmann - 2007 - Philosophia 35 (2):161-170.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Unbounded operators and the incompleteness of quantum mechanics.Adrian Heathcote - 1990 - Philosophy of Science 57 (3):523-534.

Analytics

Added to PP
2010-08-24

Downloads
31 (#501,295)

6 months
14 (#170,850)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
Deducibility and many-valuedness.D. J. Shoesmith & T. J. Smiley - 1971 - Journal of Symbolic Logic 36 (4):610-622.
Classical intensional logics.M. J. Cresswell - 1970 - Theoria 36 (3):347-372.
Extensionality in sentence position.Lloyd Humberstone - 1986 - Journal of Philosophical Logic 15 (1):27 - 54.
The Modal Logic of Agreement and Noncontingency.Lloyd Humberstone - 2002 - Notre Dame Journal of Formal Logic 43 (2):95-127.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references