A Simplified and Improved Free-Variable Framework for Hilbert’s epsilon as an Operator of Indefinite Committed Choice
METADATA ONLY
Loading...
Author / Producer
Date
2017-03
Publication Type
Journal Article
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
4 (2)
Pages / Article No.
435 - 526
Publisher
College Publications
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Logical foundations; Theories of truth and validity; Formalized mathematics; Human-oriented interactive theorem proving; Automated theorem proving; Choice; Hilbert's epsilon-operator; Henkin quantification; Fermat's descente infinie
Organisational unit
03874 - Hungerbühler, Norbert / Hungerbühler, Norbert
Notes
Special Issue: Hilbert's epsilon and tau in Logic, Informatics and Linguistics