APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS

DOI10.1142/S0129054190000059zbMath0736.03008OpenAlexW2052825866MaRDI QIDQ3978356

Marek A. Suchenek

Publication date: 25 June 1992

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054190000059

zbMATH Keywords

preservationsemanticsminimal modelsnonmonotonic reasoningenlargement relationminimally modelable theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Model theory (03C99) Logic programming (68N17) Other applications of logic (03B80)

Related Items (2)

ECWA made easy ⋮ First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment

This page was built for publication: APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS