Minimal consequence in sentential logic

DOI10.1016/0743-1066(90)90031-YMaRDI QIDQ3487316zbMATH OpenFDO

Authors Mary-Angela Papalaskari, Scott Weinstein

Publication date 1990

Published in The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

minimal modelHorn theoriesconsistent under negation as failureminimal consequence relationnonmonotonic consequence operator

Mathematics Subject Classification ID

Logic programming (68N17) Abstract deductive systems (03B22) Hierarchies of computability and definability (03D55) Model theory (03C99)

Recommendations

• Minimal non-contingency logic
• Minimal Logicism
• scientific article; zbMATH DE number 1827080
• Ontologically minimal logical semantics
• Minimal Axiomatization in Modal Logic
• Semantic minimalism for logical constants
• scientific article; zbMATH DE number 4197963
• scientific article; zbMATH DE number 4132133
• scientific article; zbMATH DE number 1746567
• Minimal-change counterfactuals in intuitionistic logic

Cited in

(6)

• APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS
• On Minimal Models
• On compact representations of propositional circumscription
• Minimal Logicism
• The complexity of propositional closed world reasoning and circumscription
• Minimal predicates, fixed-points, and definability

This page was built for publication: Minimal consequence in sentential logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3487316)