Proof-theoretic harmony: towards an intensional account

DOI10.1007/s11229-016-1200-3OpenAlexW2521101967WikidataQ59468867 ScholiaQ59468867MaRDI QIDQ2695033

Luca Tranchini

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

zbMATH Keywords

stabilityexpansionsisomorphismidentity of proofshigher-level rulesquantum disjunction

Mathematics Subject Classification ID

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

• Pesca

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