Category:Sequent calculus
Jump to navigation
Jump to search
Media in category "Sequent calculus"
The following 7 files are in this category, out of 7 total.
-
Excluded middle proof.png 238 × 176; 2 KB
-
First order natural deduction.png 685 × 873; 34 KB
-
LK groupe ident.png 338 × 36; 1 KB
-
LK groupe logique.png 452 × 284; 7 KB
-
LK groupe structurel.png 432 × 133; 4 KB
-
Sequent calculus for classical linear logic.png 620 × 390; 13 KB
-
Sequent calculus proof tree example.png 617 × 501; 14 KB