First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment
- 1 January 1993
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 10 (2) , 237-263
- https://doi.org/10.1007/bf00881837
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On indefinite databases and the closed world assumptionPublished by Springer Nature ,2005
- Domain circumscription: a reevaluationComputational Intelligence, 1987
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- The mathematics of non-monotonic reasoningArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Negation as FailurePublished by Springer Nature ,1978
- Properties preserved under homomorphismPacific Journal of Mathematics, 1959
- Horn Alfred. On sentences which are true of direct unions of algebras. The journal of symbolic logic, vol. 16 (1951), pp. 14–21.The Journal of Symbolic Logic, 1951
- Sur les congruences et les propriétés positives d'algèbres abstraitesColloquium Mathematicum, 1949