Unified correspondence as a proof-theoretic tool

Keyphrases

• Display Calculus 100%
• Unified Correspondence 100%
• Belnap 66%
• Correspondence Theory 66%
• Modal 33%
• Calculus 33%
• Modal Logic 33%
• Technical Tools 33%
• Diverse Families 33%
• Non-classical Logics 33%
• Type Classes 33%
• Structural Rules 33%
• Substructural Logics 33%
• Algebraic Semantics 33%
• Cut-elimination Theorem 33%
• Classical Modal Logics 33%
• Syntactic Characterization 33%
• Intuitionistic Modal Logic 33%
• Hybrid Logic 33%
• Bounded Distributive Lattice 33%

Computer Science

• Theoretic Tool 100%
• Correspondence Theory 100%
• Syntactics 50%
• Nonclassical Logic 50%
• Structural Rule 50%

Mathematics

• Calculus 100%
• Correspondence Theory 66%
• Linear Logic 33%
• Bounded Distributive Lattice 33%
• μ-calculus 33%
• Classical Logic 33%
• Classical Modal Logic 33%