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