Entscheidungsproblem Reduced to the ∀∃∀ Case

, &
Journal of Symbolic Logic 27 (2):225-225 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964129

Links

PhilArchive



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

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

Partial Traces in Decoherence and in Interpretation: What Do Reduced States Refer to?Sebastian Fortin & Olimpia Lombardi - 2014 - Foundations of Physics 44 (4):426-446.
Reduced Conditionals in German: Event Quantification and Definiteness. [REVIEW]Bernhard Schwarz - 1998 - Natural Language Semantics 6 (3):271-301.
Generic versus single-case causality: the case of autopsy. [REVIEW]Jon Williamson - 2011 - European Journal for Philosophy of Science 1 (1):47-69.
Turning decision procedures into disprovers.André Rognes - 2009 - Mathematical Logic Quarterly 55 (1):87-104.
Effects of Alternative Outcome Scenarios and Structured Outcome Evaluation on Case-Based Ethics Instruction.Juandre Peacock, Lauren N. Harkrider, Zhanna Bagdasarov, Shane Connelly, James F. Johnson, Chase E. Thiel, Alexandra E. MacDougall, Michael D. Mumford & Lynn D. Devenport - 2013 - Science and Engineering Ethics 19 (3):1283-1303.
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
Correction to a note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
Review: I. Zegalkin, I. Gegalkine, K Probleme Razresimosti (Sur l'Entscheidungsproblem). [REVIEW]P. Lagerström - 1940 - Journal of Symbolic Logic 5 (2):69-69.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
From the Entscheidungsproblem to the Personal Computer–and Beyond.B. Jack Copeland - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 151.
Review: Janos Suranyi, Uber das Entscheidungsproblem der Mathematischen Logik. [REVIEW]R. Péter - 1957 - Journal of Symbolic Logic 22 (3):296-296.
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
Una solución moderna para el "Entscheidungsproblem".Eduardo Piza Volio - 2005 - Revista de Filosofía de la Universidad de Costa Rica 43 (109):109-119.
Reduced Conditionals and Focus.Maribel Romero - unknown
Review: Jozef Pepis, Uber das Entscheidungsproblem des Engeren Logischen Funktionenkalkuls. [REVIEW]Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (2):93-93.

Analytics

Added to PP
2015-02-05

Downloads
15 (#926,042)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hao Wang
University of Amsterdam

Citations of this work

Undecidability results on two-variable logics.Erich Grädel, Martin Otto & Eric Rosen - 1999 - Archive for Mathematical Logic 38 (4-5):313-354.
Dominoes and the complexity of subclasses of logical theories.Erich Grädel - 1989 - Annals of Pure and Applied Logic 43 (1):1-30.
Turning decision procedures into disprovers.André Rognes - 2009 - Mathematical Logic Quarterly 55 (1):87-104.

Add more citations

References found in this work

No references found.

Add more references