Category:Sequent calculus

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