Minimal consequence in sentential logic

DOI10.1016/0743-1066(90)90031-YzbMATH Open0707.03007MaRDI QIDQ3487316FDOQ3487316

Authors: Mary-Angela Papalaskari, Scott Weinstein 

Publication date: 1990

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

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
• scientific article; zbMATH DE number 1746567
• Minimal-change counterfactuals in intuitionistic logic

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)

Cited In (6)

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

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)