[FOM] Yet another online resource - sequent calculus
mail at sakharov.net
Thu Oct 6 10:33:45 EDT 2005
This is just an announcement about another online resource that I made
available recently. It is called Sequent Calculus Primer:
It could be useful primarily for students.
My motivation for creating this page was to bring up a bunch of
derivation examples. Such examples are hard to find anywhere including
monographs in proof theory. I remember my initial painful experience
with constructing sequent calculus proofs. Once I got used to this, I
actually found it easier to construct sequent-based derivations than a
Hilbert-type ones. Basically, I am trying to simplify other students life.
Also, I would appreciate comments suggesting additional derivations that
would complement (rather than repeat) those already on the page.
More information about the FOM