Pages that link to "Structural proof theory"

The following pages link to Structural proof theory:

Showing 14 items.

• Display logic (redirect to section "Structures and connectives") ‎ (links)
  • Natural deduction ‎ (links)
• Susanne Bobzien ‎ (links)
• Proof theory ‎ (links)
• Structural proof theories (redirect page) ‎ (links)
  • Modal logic ‎ (links)
• List of University of Pittsburgh faculty ‎ (links)
• Hypersequent ‎ (links)
• Nested sequent calculus ‎ (links)
• Display Logic (redirect to section "Structures and connectives") ‎ (links)
• Bunched logic ‎ (links)
• Structural proof theory (transclusion) ‎ (links)
• List of mathematical logic topics ‎ (links)
• Analytic proof ‎ (links)
• English Wikipedia @ Freddythechick:WikiProject Academic Journals/Journals cited by Wikipedia/C4 ‎ (links)
• English Wikipedia @ Freddythechick:WikiProject Academic Journals/Journals cited by Wikipedia/L22 ‎ (links)