First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment

DOI10.1007/BF00881837zbMath0805.03013OpenAlexW1971080512MaRDI QIDQ1311412

Marek A. Suchenek

Publication date: 29 January 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881837

zbMATH Keywords

closed-world assumptiondeductive data basesdomain-closure axiomfirst-order minimal-model theorymodel theory for nonmonotonic logicsunique-names assumption

Mathematics Subject Classification ID

Database theory (68P15) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Related Items

A tableau prover for domain minimization, General domain circumscription and its first-order reduction, Minimal model generation with positive unit hyper-resolution tableaux

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Properties preserved under homomorphism
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Temporal logics in AI: semantical and ontological considerations
• Circumscription - a form of non-monotonic reasoning
• The mathematics of non-monotonic reasoning
• On the development of the model-theoretic viewpoint in logical theory
• Deduction in non-Horn databases
• APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS