Göodel's Theorems and the Epsilon Calculus

SOUTH AMERICAN JOURNAL OF LOGIC 2 (1):83-90 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Epsilon Calculi.Barry Slater - 2006 - Logic Journal of the IGPL 14 (4):535-590.
Choice and Logic.Hartley Slater - 2005 - Journal of Philosophical Logic 34 (2):207-216.
Epsilon calculi.Hartley Slater - 2001 - Internet Encyclopedia of Philosophy.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Review: H. Rasiowa, A Proof of $epsilon$-Theorems; H. Rasiowa, On the $epsilon$-Theorems. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
Cut elimination for a simple formulation of epsilon calculus.Grigori Mints - 2008 - Annals of Pure and Applied Logic 152 (1):148-160.
A propositional fragment of Le'sniewski's Ontology and its formulation by the tableau method.Arata Ishimoto & M. Kobayashi - 1982 - Studia Logica 41 (2/3):181-195.
Ramseying liars.Barry Hartley Slater - 2004 - Logic and Logical Philosophy 13:57-70.
The Grammar of Platonism.Hartley Slater - 2016 - Logica Universalis 10 (4):533-541.
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.
Hilbert's Epsilon Calculus and its Successors.Barry Hartley Slater - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 385-448.
Gödel's and Other Paradoxes.Hartley Slater - 2015 - Philosophical Investigations 39 (4):353-361.
Inferentializing consequence.Jaroslav Peregrin - unknown

Analytics

Added to PP
2017-01-30

Downloads
11 (#1,075,532)

6 months
1 (#1,459,555)

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