Extending the first-order theory of combinators with self-referential truth (Q3138009)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extending the first-order theory of combinators with self-referential truth |
scientific article |
Statements
Extending the first-order theory of combinators with self-referential truth (English)
0 references
24 October 1993
0 references
approximation of property
0 references
formal system STW of self-referential truth
0 references
truth predicate
0 references
Frege structures
0 references
combinatory logic
0 references
0 references
0 references
