Sequent calculus: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

4 November 2014

  • curprev 22:1122: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

9 November 2013

5 July 2012

Retrieved from "https://en.formulasearchengine.com/wiki/Sequent_calculus"