Harmony in Multiple-Conclusion Natural-Deduction

Logica Universalis 8 (2):215-259 (2014)
  Copy   BIBTEX

Abstract

The paper studies the extension of harmony and stability, major themes in proof-theoretic semantics, from single-conclusion natural-deduction systems to multiple -conclusions natural-deduction, independently of classical logic. An extension of the method of obtaining harmoniously-induced general elimination rules from given introduction rules is suggested, taking into account sub-structurality. Finally, the reductions and expansions of the multiple -conclusions natural-deduction representation of classical logic are formulated.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Stable Harmony.Nils Kurbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.
Some problems for proof-theoretic semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.

Analytics

Added to PP
2014-05-10

Downloads
60 (#241,099)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nissim Francez
Technion, Israel Institute of Technology

Citations of this work

Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
Calculi for Many-Valued Logics.Michael Kaminski & Nissim Francez - 2021 - Logica Universalis 15 (2):193-226.
A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.

Add more citations

References found in this work

The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.
Yes and no.I. Rumfitt - 2000 - Mind 109 (436):781-823.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.

View all 22 references / Add more references