Pages that link to "Item:Q2695033"
From MaRDI portal
The following pages link to Proof-theoretic harmony: towards an intensional account (Q2695033):
Displaying 11 items.
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- The naturality of natural deduction (Q2631649) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Peano's Counterexample to Harmony (Q3305303) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction (Q5213631) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)
