Abstract
After reviewing the literature on semantics of Hilbert’s epsilon symbol, we present a new one that is similar to the referential interpretation of indefinite articles in natural languages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Wolfgang Bibel (1987). Automated Theorem Proving. 2nd rev. ed., Vieweg, Braunschweig.
Wolfgang Bibel, Peter H. Schmitt (eds.) (1998). Automated Deduction — A Basis for Applications. Kluwer Acad. Publ..
Andreas Blass, Yuri Gurevich (2000). The Logic of Choice. J. Symbolic Logic 65, pp. 1264–1310.
Melvin C. Fitting (1996). First-Order Logic and Automated Theorem Proving. 2nd extd. ed., Springer.
Martin Giese, Wolfgang Ahrendt (1999). Hilbert’s ∈-Terms in Automated Theorem Proving. 8th TABLEAU 1999, LNAI1617, pp. 171–185, Springer.
David Hilbert (1928). Die Grundlagen der Mathematik. Abhandlungen aus dem mathematischen Seminar der Univ. Hamburg 6, pp. 65–85.
David Hilbert, Paul Bernays (1968/70). Grundlagen der Mathematik. 2nd ed., Springer.
Michaël Kohlhase (1998). Higher-Order Automated Theorem Proving. In:Peter H. Schmitt (eds.) (1998). Automated Deduction — A Basis for Applications. Kluwer Acad. Publ.. [2], Vol. 1, pp. 431–462.
A. C. Leisenring (1969). Mathematical Logic and Hilbert’s ∈-Symbol. Gordon and Breach, New York.
Claus-Peter Wirth (2000). Descente Infinie + Deduction. Report 737/2000, FB Informatik, Univ. Dortmund. Extd. version, Feb. 1, 2002. http://ags.uni-sb. de/~cp/p/tab99/new.html (Feb. 01, 2002).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wirth, CP. (2002). A New Indefinite Semantics for Hilbert’s Epsilon. In: Egly, U., Fermüller, C.G. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2002. Lecture Notes in Computer Science(), vol 2381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45616-3_21
Download citation
DOI: https://doi.org/10.1007/3-540-45616-3_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43929-5
Online ISBN: 978-3-540-45616-2
eBook Packages: Springer Book Archive