The logic of choice

Journal of Symbolic Logic 65 (3):1264-1310 (2000)

Abstract
The choice construct (choose x: φ(x)) is useful in software specifications. We study extensions of first-order logic with the choice construct. We prove some results about Hilbert's ε operator, but in the main part of the paper we consider the case when all choices are independent
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586700
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,419
Through your library

References found in this work BETA

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Introduction to Metamathematics.Stephen Cole Kleene - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Many-Valued Logic.Nicholas Rescher - 1977 - Journal of Symbolic Logic 42 (3):432-436.

View all 10 references / Add more references

Citations of this work BETA

The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.
Interpreting HOL in the Calculus of Constructions.Jonathan P. Seldin - 2004 - Journal of Applied Logic 2 (2):173-189.

Add more citations

Similar books and articles

The Act of Choice.Richard Holton - 2006 - Philosophers' Imprint 6:1-15.
Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
On Generic Extensions Without the Axiom of Choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
The Axiom of Choice and Combinatory Logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
Choice Principles and Constructive Logics.David Dedivi - 2004 - Philosophia Mathematica 12 (3):222-243.
Reasoning About Social Choice Functions.Nicolas Troquard, Wiebe Hoek & Michael Wooldridge - 2011 - Journal of Philosophical Logic 40 (4):473-498.

Analytics

Added to PP index
2009-01-28

Total views
35 ( #247,434 of 2,272,226 )

Recent downloads (6 months)
2 ( #566,516 of 2,272,226 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature