Tableaux and sequent calculus for minimal entailment

• 1 August 1992
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 9  (1) , 99-139
• https://doi.org/10.1007/bf00247828

Abstract

Keywords

• SEQUENT CALCULUS
• REFORMULATION
• TABLEAUX
• PROPOSITIONAL
• SEMANTICAL
• MINIMAL ENTAILMENT