Uniform provability in classical logic

Arts & Humanities

• Classical Logic 97%
• Proof Procedure 57%
• Logic 21%
• Universal Quantifier 17%
• Symbol 17%
• Inference Rules 16%
• Sequent Calculus 16%
• Directives 13%
• Negation 11%
• Sound 8%
• Language 5%

Mathematics

• Classical Logic 100%
• Proof Search 14%
• Inference Rules 13%
• Sequent Calculus 12%
• Proof System 12%
• Quantifiers 11%
• Relevance 10%
• Sound 10%
• Meaning 9%
• Language 7%
• Context 6%
• Relationships 6%

Engineering & Materials Science

• Acoustic waves 67%