Pages that link to "Item:Q2631649"

The following pages link to The naturality of natural deduction (Q2631649):

Displaying 7 items.

• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
• General proof theory: introduction (Q2631640) (← links)
• Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
• POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
• Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
• Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
• (Q5101355) (← links)