Login / Signup

Gentzen-Style and Novikov-Style Cut-Elimination.

Sergei Tupailo
Published in: LFCS (1992)
Keyphrases
  • cut elimination
  • sequent calculus
  • linear logic
  • natural deduction
  • wide class
  • pairwise
  • high dimensional
  • linear time temporal logic