Proof-theoretic harmony: towards an intensional account
From MaRDI portal
Publication:2695033
DOI10.1007/s11229-016-1200-3OpenAlexW2521101967WikidataQ59468867 ScholiaQ59468867MaRDI QIDQ2695033
Publication date: 30 March 2023
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-016-1200-3
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (7)
The naturality of natural deduction ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ The original sin of proof-theoretic semantics ⋮ Proof, meaning and paradox: some remarks ⋮ A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction ⋮ ETA-RULES IN MARTIN-LÖF TYPE THEORY ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- ``Inference versus consequence revisited: inference, consequence, conditional, implication
- General-elimination harmony and the meaning of the logical constants
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Truth from a proof-theoretic perspective
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- The naturality of natural deduction
- A judgmental reconstruction of modal logic
- ON FLATTENING ELIMINATION RULES
- HARMONISING HARMONY
- Gentzen's Proof of Normalization for Natural Deduction
- On Inversion Principles
- A natural extension of natural deduction
- Identity of Proofs Based on Normalization and Generality
- General-Elimination Harmony and Higher-Level Rules
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis
- Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
- Some Remarks on Proof-Theoretic Semantics
This page was built for publication: Proof-theoretic harmony: towards an intensional account