Jump to content

Sequent calculus: Revision history

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

(newest | oldest) View (newer 500 | ) (20 | 50 | 100 | 250 | 500)

12 May 2024

  • curprev 06:0206:02, 12 May 2024‎ 2601:646:9b81:9c90::799a talk‎ 54,033 bytes +49‎ Fixed the presentation of LK/LJ to use additive rather than multiplicative rules (as seen in both the original Gentzen paper and in the source cited at the beginning of the section on LK), as well as some other edits this necessitated. undo

15 April 2024

(newest | oldest) View (newer 500 | ) (20 | 50 | 100 | 250 | 500)
Retrieved from "https://en.wikipedia.org/wiki/Sequent_calculus"