Login / Signup

Sequent calculi of finite dimension.

Antonio BucciarelliAntonio LeddaFrancesco PaoliAntonino Salibra
Published in: CoRR (2022)
Keyphrases
  • sequent calculi
  • half spaces
  • modal logic
  • cut elimination