Herbrand semantics, the potential infinite, and ontology-free logic (Q3990954)
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: Herbrand semantics, the potential infinite, and ontology-free logic |
scientific article; zbMATH DE number 36085
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Herbrand semantics, the potential infinite, and ontology-free logic |
scientific article; zbMATH DE number 36085 |
Statements
Herbrand semantics, the potential infinite, and ontology-free logic (English)
0 references
28 June 1992
0 references
ontological commitment
0 references
actual infinite
0 references
potential infinite
0 references
Herbrand's theorem
0 references
Löwenheim-Skolem theorem
0 references
completeness theorem
0 references
0.9125937
0 references
0.90518016
0 references
0 references
0.86627066
0 references
0.86421657
0 references
0.86237586
0 references
