The Logic of Choice
- 1 September 2000
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 65 (3), 1264-1310
- https://doi.org/10.2307/2586700
Abstract
The choice construct (choosex: φ(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
This publication has 8 references indexed in Scilit:
- Descriptive Set TheoryPublished by American Mathematical Society (AMS) ,2009
- On Computable Numbers, with an Application to the Entscheidungsproblem (1936)Published by Oxford University Press (OUP) ,2004
- The Classical Decision ProblemPublished by Springer Nature ,1997
- EVOLVING ALGEBRAS: AN ATTEMPT TO DISCOVER SEMANTICSPublished by World Scientific Pub Co Pte Ltd ,1993
- Non-determinism in logic-based languagesAnnals of Mathematics and Artificial Intelligence, 1991
- Many-Valued Logic.The Journal of Philosophy, 1970
- Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1954
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936