Natural deduction and Hilbert's ɛ-operator

Journal of Philosophical Logic 16 (4):411 - 421 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00431186

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

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

Hilbert's ɛ-operator and classical logic.J. L. Bell - 1993 - Journal of Philosophical Logic 22 (1):1 - 18.
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. New York: Birkhäuser. pp. 39-51.
Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. New York: Birkhäuser. pp. 39-51.
Hilbert's epsilon as an operator of indefinite committed choice.Claus-Peter Wirth - 2008 - Journal of Applied Logic 6 (3):287-317.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Hazen Allen. Predicative logics. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 331–407. [REVIEW]G. Kreisel - 1989 - Journal of Symbolic Logic 54 (3):1092-1094.
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
Meaning is Use: the Case of Propositional Identity.Leonard Kupś & Szymon Chlebowski - 2024 - Bulletin of the Section of Logic 53 (3):275-299.
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.

Analytics

Added to PP
2009-01-28

Downloads
79 (#265,702)

6 months
2 (#1,687,048)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
The epsilon calculus' problematic.B. H. Slater - 1994 - Philosophical Papers 23 (3):217-242.
Harmonising natural deduction.Barry Hartley Slater - 2008 - Synthese 163 (2):187-198.

Add more citations

References found in this work

Methods of logic.Willard Van Orman Quine - 1962 - Cambridge: Harvard University Press.
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.
Reasoning with arbitrary objects.Kit Fine - 1985 - New York, NY, USA: Blackwell.

View all 17 references / Add more references