Non-classical Elegance for Sequent Calculus Enthusiasts.

Andreas Fjellstad

Published in: Stud Logica (2017)

Keyphrases

sequent calculus
inference rules
cut elimination
linear logic
modal logic
natural deduction
linear time temporal logic
fixed point
metric space