Tableaux and sequent calculus for minimal entailment

DOI10.1007/BF00247828zbMath0795.03033OpenAlexW2014810198MaRDI QIDQ688552

Nicola 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)

Related Items

A tableau prover for domain minimization, Tableau-based characterization and theorem proving for default logic, A sequent calculus for skeptical Default Logic, Sequent calculi for default and autoepistemic logics, Minimal model generation with positive unit hyper-resolution tableaux, A tableau calculus for minimal model reasoning, A uniform tableaux method for nonmonotonic modal logics, Reasoning with infinite stable models