Login / Signup

Bounded Sequent Calculi for Non-classical Logics via Hypersequents.

Agata CiabattoniTimo LangRevantha Ramanayake
Published in: TABLEAUX (2019)
Keyphrases
  • wide class
  • cut elimination
  • sequent calculi
  • classical logic
  • modal logic
  • conditional logic
  • theorem proving
  • automated theorem proving