First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
type: Item
instance of: scholarly article
title: First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
zbMATH Open document ID: 0805.03013
DOI: 10.1007/BF00881837
author: Marek A. Suchenek
published in: Journal of Automated Reasoning
publication date: 1995-01-29T00:00:00Z
Mathematics Subject Classification ID: 03B80
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 484778
zbMATH Keywords: deductive data bases
zbMATH Keywords: domain-closure axiom
zbMATH Keywords: model theory for nonmonotonic logics
zbMATH Keywords: unique-names assumption
zbMATH Keywords: first-order minimal-model theory
zbMATH Keywords: closed-world assumption
MaRDI profile type: Publication
cites work: Saturation, nonmonotonic reasoning and the closed-world assumption
cites work: The mathematics of non-monotonic reasoning
cites work: On the development of the model-theoretic viewpoint in logical theory
cites work: Properties preserved under homomorphism
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Q3939270
cites work: Q5750391
cites work: Temporal logics in AI: semantical and ontological considerations
cites work: Q4273486
cites work: Q3829540
cites work: APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS
cites work: Deduction in non-Horn databases
full work available at URL: https://doi.org/10.1007/bf00881837
OpenAlex ID: W1971080512
description: scientific article; zbMATH DE number 484778