Completeness of indexed \(\varepsilon\)-calculus (Q1411658)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Completeness of indexed \(\varepsilon\)-calculus |
scientific article; zbMATH DE number 1998227
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness of indexed \(\varepsilon\)-calculus |
scientific article; zbMATH DE number 1998227 |
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
