Harmony in Proof-Theoretic Semantics: A Reductive Analysis
From MaRDI portal
Publication:5213618
DOI10.1007/978-3-319-11041-7_15zbMATH Open1429.03194OpenAlexW186947099MaRDI QIDQ5213618FDOQ5213618
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
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
functional completenessuniquenessconservativenessproof-theoretic semanticslogical connectivesgeneralised rulesproof-theoretic harmony
Cites Work
- Untersuchungen über das logische Schliessen. II
- Title not available (Why is that?)
- A note on harmony
- Title not available (Why is that?)
- Title not available (Why is that?)
- General-elimination harmony and the meaning of the logical constants
- Title not available (Why is that?)
- A natural extension of natural deduction
- Title not available (Why is that?)
- 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
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- Some Remarks on Proof-Theoretic Semantics
- General-Elimination Harmony and Higher-Level Rules
- ON FLATTENING ELIMINATION RULES
- Title not available (Why is that?)
Cited In (7)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- 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
- 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)
