LBI Cut Elimination Proof with BI-MultiCut

Keyphrases

• Cut-admissibility 100%
• Cut Elimination 100%
• Sequent Calculus 66%
• Extra Care 33%
• Linear Logic 33%
• Intuitionistic Logic 33%
• Inference Rules 33%
• Backward Proof Search 33%
• Derivation Trees 33%
• Substructural Logics 33%
• Irreducibility 33%
• Permutation Strategy 33%

Mathematics

• Admissibility 100%
• Permutation 66%
• Calculus 66%
• Multiplicative 33%
• Linear Logic 33%
• Intuitionistic Logic 33%
• Irreducibility 33%

Computer Science

• Sequent Calculus 100%
• Intuitionistic Logic 50%
• Inference Rule 50%
• Derivation Tree 50%