Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs

In Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster (eds.), Mathesis Universalis, Computability and Proof. Cham, Switzerland: Springer Verlag (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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.
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Ghosh Sujata & Prasad Sanjiva (eds.), Logic and Its Applications. ICLA 2017. Springer. pp. 27-47.
Epsilon Calculi.Barry Slater - 2006 - Logic Journal of the IGPL 14 (4):535-590.
Completing Russell’s Logic.Hartley Slater - 2007 - Russell: The Journal of Bertrand Russell Studies 27 (1).
Göodel's Theorems and the Epsilon Calculus.Slater Hartley - 2016 - SOUTH AMERICAN JOURNAL OF LOGIC 2 (1):83-90.
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.
The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
Epsilon-ergodicity and the success of equilibrium statistical mechanics.Peter B. M. Vranas - 1998 - Philosophy of Science 65 (4):688-708.
A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
Epsilon calculi.Hartley Slater - 2001 - Internet Encyclopedia of Philosophy.
The Concurrent, Continuous Fluent Calculus.Thielscher Michael - 2001 - Studia Logica 67 (3):315-331.

Analytics

Added to PP
2019-10-26

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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