Minimal consequence in sentential logic
From MaRDI portal
Publication:3487316
DOI10.1016/0743-1066(90)90031-YzbMath0707.03007MaRDI QIDQ3487316
Mary-Angela Papalaskari, Scott Weinstein
Publication date: 1990
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Horn theoriesminimal modelconsistent under negation as failureminimal consequence relationnonmonotonic consequence operator
Model theory (03C99) Logic programming (68N17) Abstract deductive systems (03B22) Hierarchies of computability and definability (03D55)
Related Items (3)
The complexity of propositional closed world reasoning and circumscription ⋮ On compact representations of propositional circumscription ⋮ Minimal predicates, fixed-points, and definability
This page was built for publication: Minimal consequence in sentential logic
