Skip to content

Research at St Andrews

A note on harmony

Research output: Research - peer-reviewArticle


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, known as reduction and expansion. We propose a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Prawitz’) remark, that E-rules can be “read off” I-rules.


Original languageEnglish
Pages (from-to)613–628
Number of pages16
JournalJournal of Philosophical Logic
Issue number3
StatePublished - Jun 2012

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R. 20 Apr 2018 In : Studia Logica. First Online, 23 p.

    Research output: Research - peer-reviewArticle

  2. Intuitionistic decision procedures since Gentzen

    Dyckhoff, R. 5 May 2016 Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28)

    Research output: Research - peer-reviewChapter (peer-reviewed)

  3. POSIX lexing with derivatives of regular expressions (proof pearl)

    Ausaf, F., Dyckhoff, R. & Urban, C. 2016 Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Blanchette, J. C. & Merz, S. (eds.). Springer, p. 69-86 18 p. (Lecture Notes in Computer Science; vol. 9807)

    Research output: ResearchConference contribution

  4. Some remarks on proof-theoretic semantics

    Dyckhoff, R. 2016 Advances in Proof-Theoretic Semantics. Piecha, T. & Schroeder-Heister, P. (eds.). Springer, p. 79-93 15 p. (Trends in Logic; vol. 43)

    Research output: Research - peer-reviewChapter (peer-reviewed)

Related by journal

  1. Some results on the limits of thought

    Bacon, A. & Uzquiano, G. 31 Jan 2018 In : Journal of Philosophical Logic. In press

    Research output: Research - peer-reviewArticle

  2. Truth, dependence and supervaluation: Living with the ghost

    Meadows, T. S. D. 2012 In : Journal of Philosophical Logic. [Online First], p. - 20 p.

    Research output: Research - peer-reviewArticle

  3. General-Elimination Harmony and the Meaning of the Logical Constants

    Read, S. L. 1 Oct 2010 In : Journal of Philosophical Logic. 39, 5, p. 557-576

    Research output: Research - peer-reviewArticle

  4. Ceteris Paribus Conditionals and Comparative Normalcy

    Smith, M. J. M. Feb 2007 In : Journal of Philosophical Logic. 36, 1, p. 97-121 25 p.

    Research output: Research - peer-reviewArticle

ID: 110395158