Unifying logics via context-sensitiveness

Mathematics

• Control Sets 100%
• Logic 58%
• Classical Logic 58%
• Propositional Logic 55%
• Syntax 48%
• Context 46%
• Nonmonotonic Logic 37%
• Paraconsistent Logic 36%
• Cut-elimination 31%
• Sequent Calculus 30%
• Proof System 28%
• Framework 28%
• Concurrent 27%
• Skeleton 27%
• Design 15%
• Theorem 10%

Arts & Humanities

• Logic 43%
• Paraconsistency 37%
• Syntax 35%
• Cut-elimination 34%
• Paraconsistent Logic 34%
• Nonmonotonic Logic 34%
• Sequent Calculus 32%
• Propositional Logic 29%
• Classical Logic 28%
• Skeleton 26%
• Encompassing 24%
• Theoretical Framework 23%
• Controlled 20%