Pages that link to "Item:Q1275625"

The following pages link to Permutability of proofs in intuitionistic sequent calculi (Q1275625):

Displaying 3 items.

• The \(\lambda \)-calculus and the unity of structural proof theory (Q733755) (← links)
• Termination of permutative conversions in intuitionistic Gentzen calculi (Q1275632) (← links)
• A proof-theoretic study of the correspondence of classical logic and modal logic (Q4650293) (← links)