Sequent calculus: Revision history

4 November 2014

• curprev 21:1121:11, 4 November 2014 en>There is a T101 in your kitchen 42,324 bytes +7,085 There is no indication that "LK" is mean as an acronym; Gentzen just says "LJ für die intuitionistische, LK für die klassische Prädikatenlogik"; fixed text in that sense. It sure isn't "logistisch".

13 February 2014

• curprev 18:1818:18, 13 February 2014 213.205.229.17 talk 35,239 bytes +463 →References: link to original papers

9 November 2013

• curprev 00:3800:38, 9 November 2013 en>Henning Makholm m 34,776 bytes +34,776 →An intuitive explanation: \neg not \not

5 July 2012

• curprev 09:1309:13, 5 July 2012 75.94.102.93 talk 34,209 bytes +34,209 Changed WR in the LK calculus which previously had A at the top instead of the bottom