Pages that link to "Item:Q4650310"

The following pages link to Identity of Proofs Based on Normalization and Generality (Q4650310):

Displaying 21 items.

• Classical proof forestry (Q636369) (← links)
• What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
• The calculus of natural calculation (Q2062198) (← links)
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
• On paradoxes in normal form (Q2288281) (← links)
• Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
• Gödel on deduction (Q2631643) (← links)
• Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
• Isomorphic formulae in classical propositional logic (Q3117775) (← links)
• Generality of proofs and its Brauerian representation (Q3160565) (← links)
• HARMONISING HARMONY (Q3195584) (← links)
• Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
• An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
• The Cantor–Bernstein theorem: how many proofs? (Q5204798) (← links)
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
• Prawitz, Proofs, and Meaning (Q5213604) (← links)
• Inferential Semantics (Q5213609) (← links)
• ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
• Canonicity of proofs in constructive modal logic (Q6541161) (← links)
• Intensional harmony as isomorphism (Q6612873) (← links)
• Formal ontology and mathematics. A case study on the identity of proofs (Q6652800) (← links)