A Note on Harmony

@article{Francez2012ANO,
  title={A Note on Harmony},
  author={N. Francez and R. Dyckhoff},
  journal={Journal of Philosophical Logic},
  year={2012},
  volume={41},
  pages={613-628}
}
  • N. Francez, R. Dyckhoff
  • Published 2012
  • Mathematics, Computer Science
  • Journal of Philosophical Logic
  • In the proof-theoretic semantics approach to meaning, harmony, requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony, requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony: imposes the existence of certain transformations of derivations… CONTINUE READING
    49 Citations
    General-Elimination Harmony and the Meaning of the Logical Constants
    • S. Read
    • Mathematics, Computer Science
    • J. Philos. Log.
    • 2010
    • 67
    • PDF
    Bilateralism in Proof-Theoretic Semantics
    • N. Francez
    • Mathematics, Computer Science
    • J. Philos. Log.
    • 2014
    • 5
    Harmony in Proof-Theoretic Semantics: A Reductive Analysis
    • 15
    General-Elimination Harmony and Higher-Level Rules
    • 21
    • PDF
    The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony
    • 21
    Some Remarks on Proof-Theoretic Semantics
    • R. Dyckhoff
    • Mathematics, Computer Science
    • Advances in Proof-Theoretic Semantics
    • 2016
    • 12
    • PDF
    General-Elimination Stability
    • 7
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 28 REFERENCES
    A Natural Extension of Natural Deduction
    • 198
    • PDF
    Harmony and Autonomy in Classical Logic
    • S. Read
    • Mathematics, Computer Science
    • J. Philos. Log.
    • 2000
    • 87
    • Highly Influential
    Proof-Theoretic Semantics for Subsentential Phrases
    • 31
    Ideas and Results in Proof Theory
    • 571
    The logical basis of metaphysics
    • 861
    • Highly Influential
    • PDF
    Proof-Theoretic Semantics for a Natural Language Fragment
    • 37
    • PDF
    There's No Substitute for Linear Logic
    • 45
    A judgmental reconstruction of modal logic
    • 352
    • PDF
    Natural deduction with general elimination rules
    • J. Plato
    • Mathematics, Computer Science
    • Arch. Math. Log.
    • 2001
    • 114
    The lambda calculus - its syntax and semantics
    • H. Barendregt
    • Mathematics, Computer Science
    • Studies in logic and the foundations of mathematics
    • 1985
    • 3,671