User contributions for 2601:646:9B81:9C90:0:0:0:799A
For 2601:646:9B81:9C90:0:0:0:799A talk block log logs filter log
12 May 2024
- 06:0206:02, 12 May 2024 diff hist +49 Sequent calculus 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. current
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |