Herbrand's Theorem for Nonstandard Inference Operations (Q4291037)
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's Theorem for Nonstandard Inference Operations |
scientific article; zbMATH DE number 563294
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Herbrand's Theorem for Nonstandard Inference Operations |
scientific article; zbMATH DE number 563294 |
Statements
Herbrand's Theorem for Nonstandard Inference Operations (English)
0 references
5 May 1994
0 references
Herbrand's theorem
0 references
closed world assumption
0 references
default logic
0 references
completion
0 references
circumscription
0 references
nonmonotonic logics
0 references
autoepistemic logic
0 references
semantics of logic programs
0 references
inference relations
0 references
0.7889031171798706
0 references
