Completeness results for circumscription (Q1073787): Difference between revisions

Es werden zirkumskriptive Beweisbarkeit und Folgerung definiert. P- Vollständigkeit wird für einige Klassen von Theorien bewiesen: für P-endliche, für explizit-P-definierende und für disjunktiv-P- definierende Theorien.

0 references

zbMATH Keywords

minimal models

0 references

reviewed by

Erica Melis

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0004-3702(86)90029-9

0 references

cites work

Logic and structure.

0 references

The mathematics of non-monotonic reasoning

0 references

Circumscription and implicit definability

0 references

Q5750390

0 references

Circumscription - a form of non-monotonic reasoning

0 references

Computing protected circumscription

0 references

Equality and Domain Closure in First-Order Databases

0 references

Identifiers

zbMATH Open document ID

0589.03021

0 references

DOI

10.1016/0004-3702(86)90029-9

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1073787

@@ Property / reviewed by @@
-Erica Melis
@@ Property / reviewed by: Erica Melis / rank @@
-Normal rank
@@ Property / reviewed by @@
+Erica Melis
@@ Property / reviewed by: Erica Melis / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(86)90029-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2005984922
@@ Property / OpenAlex ID: W2005984922 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank
@@ Property / cites work @@
+The mathematics of non-monotonic reasoning
@@ Property / cites work: The mathematics of non-monotonic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription and implicit definability
@@ Property / cites work: Circumscription and implicit definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750390
@@ Property / cites work: Q5750390 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Computing protected circumscription
@@ Property / cites work: Computing protected circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and Domain Closure in First-Order Databases
+Normal rank