Completeness of indexed \(\varepsilon\)-calculus (Q1411658)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness of indexed \(\varepsilon\)-calculus |
scientific article |
Statements
Completeness of indexed \(\varepsilon\)-calculus (English)
0 references
29 October 2003
0 references
This is a first-order formalization of the theory of epsilon terms that are indexed by cintexts (as used by K. v. Heusinger for representing definite and indefinite noun phrases in natural language). Soundness and completeness of the system are proved.
0 references
Epsilon calculus
0 references
Finite choice
0 references
Completeness
0 references
