Grokking the Sequent Calculus (Functional Pearl).

David Binder Marco Tzschentke Marius Müller Klaus Ostermann

Published in: CoRR (2024)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
proof search
belief revision
wide class
linear time temporal logic
object oriented
fixed point
theorem prover
belief change