Harmony in Proof-Theoretic Semantics: A Reductive Analysis

DOI10.1007/978-3-319-11041-7_15MaRDI QIDQ5213618zbMATH OpenOpenAlexFDO

Authors 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

functional completenessuniquenessconservativenessproof-theoretic semanticslogical connectivesgeneralised rulesproof-theoretic harmony

Mathematics Subject Classification ID

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

Recommendations

• Proof-theoretic harmony: towards an intensional account
• On the equivalence conjecture for proof-theoretic harmony
• Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Weak disharmony: some lessons for proof-theoretic semantics
• Some Remarks on Proof-Theoretic Semantics
• scientific article; zbMATH DE number 7109521
• Steps towards a proof-theoretical semantics
• On reduction rules, meaning-as-use, and proof-theoretic semantics
• A semantical view of proof systems

Cites work

• scientific article; zbMATH DE number 3115105 (Why is no real title available?)
• scientific article; zbMATH DE number 3987256 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A natural extension of natural deduction
• A note on harmony
• General-elimination harmony and higher-level rules
• General-elimination harmony and the meaning of the logical constants
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On flattening elimination rules
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Some Remarks on Proof-Theoretic Semantics
• Untersuchungen über das logische Schliessen. II

Cited in

(12)

• A note on harmony
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Weak disharmony: some lessons for proof-theoretic semantics
• On flattening elimination rules
• Proof-theoretic harmony: towards an intensional account
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Proof-theoretic semantics: an autobiographical survey
• Comments on the contributions
• Relevant harmony
• Some Remarks on Proof-Theoretic Semantics
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• General-elimination stability

This page was built for publication: Harmony in Proof-Theoretic Semantics: A Reductive Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213618)