WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Sequent calculus
Revision #3330 → #3858 ·
back to history
added
Reduction tree as analog of analytic tableaux
1bebe9f88d7c
added
Two-letter naming convention for Gentzen systems
6e4505a58a2d
added
Natural deduction systems NK and NJ
928223743dcc