On the satisfiability of circumscription (Q1073786)
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: On the satisfiability of circumscription |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the satisfiability of circumscription |
scientific article |
Statements
On the satisfiability of circumscription (English)
0 references
1986
0 references
Es wird gezeigt: Wenn A erfüllbar ist und fast universal bezüglich P, so ist Circum(A;P) erfüllbar. Wenn A universal und erfüllbar ist, so ist Circum(A;P;Q) erfüllbar. Für disjunkte \(P^ 1,...,P^ k\), Q und jedes universale, erfüllbare A ist Circum(A,\(P^ 1>...>P^ k,Q)\) erfüllbar.
0 references
