Harmony in Proof-Theoretic Semantics: A Reductive Analysis

DOI10.1007/978-3-319-11041-7_15zbMath1429.03194OpenAlexW186947099MaRDI QIDQ5213618

Peter Schroeder-Heister

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_15

zbMATH Keywords

uniquenessconservativenessfunctional completenessproof-theoretic semanticslogical connectivesgeneralised rulesproof-theoretic harmony

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Proof-theoretic harmony: towards an intensional account ⋮ General-elimination stability ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

Cites Work

• A note on harmony
• General-elimination harmony and the meaning of the logical constants
• Untersuchungen über das logische Schliessen. II
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• ON FLATTENING ELIMINATION RULES
• A natural extension of natural deduction
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• General-Elimination Harmony and Higher-Level Rules
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Some Remarks on Proof-Theoretic Semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item