Login / Signup

The Sequent Calculus of Skew Monoidal Categories.

Tarmo UustaluNiccolò VeltriNoam Zeilberger
Published in: MFPS (2018)
Keyphrases
  • sequent calculus
  • cut elimination
  • inference rules
  • linear logic
  • modal logic
  • natural deduction
  • wide class
  • linear time temporal logic
  • image segmentation
  • first order logic
  • fixed point
  • classical logic