Sign in
Saturation Up to Redundancy for Tableau and Sequent Calculi.
Martin Giese
Published in:
LPAR (2006)
Keyphrases
</>
sequent calculi
description logics
conditional logic
modal logic
cut elimination
nonmonotonic reasoning
natural language
random variables
sequent calculus