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 (8)

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

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