Pages that link to "Item:Q2631649"
From MaRDI portal
The following pages link to The naturality of natural deduction (Q2631649):
Displaying 20 items.
- Natural deduction and Curry's paradox (Q877241) (← links)
- Natural deduction and arbitrary objects (Q1061731) (← links)
- 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)
- A Brief History of Natural Deduction (Q2757973) (← links)
- Natural implication and modus ponens principle (Q2804046) (← links)
- (Q3000098) (← links)
- (Q3707994) (← links)
- Aristotle'S natural deduction reconsidered (Q4358419) (← 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)
- Naturality and definability II (Q5113843) (← links)
- (Q5119556) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- (Q5869215) (← links)
- The naturality of natural deduction (Q6275830) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)