This page is about Fitch's calculus. It is not about his notation.
I have converted his notation to my standard notation.
If you want to see his notation, I personally recommend his 1952 book "Symbolic Logic", instead of rooting around on the net.
Fitch Calculus is the Hilbert's Positive Propositional Logic plus the Axioms:
Fitch Logic Calculus an alternative to Standard PC, contrast it with some other popular alternatives:
© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/fitch.html
This page was last modified on January 5th, 2006