Multiple conclusion linear logic: cut elimination and more

Mathematics

• Cut-elimination 89%
• Linear Logic 87%
• Intuitionistic Logic 73%
• Tensor 24%
• Proof Nets 14%
• Sequent Calculus 12%
• Libraries 11%
• Formalization 11%
• Beliefs 11%
• Nonlinear Model 10%
• Categorical 9%
• Linear Model 9%
• Logic 8%
• Model 6%

Arts & Humanities

• Cut-elimination 100%
• Linear Logic 94%
• Double Negation 14%
• Sequent Calculus 13%
• Formalization 10%
• Categorical 10%
• Logic 5%

Engineering & Materials Science

• Tensors 71%