Tableaux and sequent calculus for minimal entailment

DOI10.1007/BF00247828MaRDI QIDQ688552zbMATHOpenAlexFDO

Authors N. Olivetti

Publication date 1 September 1994

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00247828

zbMATH Keywords

nonmonotonic reasoningsemantic tableauxdynamic minimal entailmentExtended Closed World Assumptionformalization of the nonmonotonic minimal entailment relationGentzen's sequent calculusVariable Circumscription

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A tableau prover for domain minimization
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• A uniform tableaux method for nonmonotonic modal logics
• A nonmonotonic extension of KLM preferential logic P
• scientific article; zbMATH DE number 1612562

Cited in

(13)

• A tableau prover for domain minimization
• A nonmonotonic extension of KLM preferential logic P
• Entailment, transmission of truth, and minimality
• First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
• A sequent calculus for skeptical Default Logic
• Reasoning with infinite stable models
• Tableau-based characterization and theorem proving for default logic
• A tableau calculus for minimal model reasoning
• Minimal model generation with positive unit hyper-resolution tableaux
• Sequent calculi for default and autoepistemic logics
• scientific article; zbMATH DE number 1612562 (Why is no real title available?)
• ASP for minimal entailment in a rational extension of SROEL
• A uniform tableaux method for nonmonotonic modal logics

This page was built for publication: Tableaux and sequent calculus for minimal entailment

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