A New Indefinite Semantics for Hilbert's Epsilon

Authors:
Claus-Peter Wirth
Affiliations:
-
Venue:
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
2002

Citing 2
Cited 0

First-order logic and automated theorem proving (2nd ed.)

First-order logic and automated theorem proving (2nd ed.)
Hilbert's epsilon-Terms in Automated Theorem Proving

TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

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.