Logic Journal of the IGPL 6 (5):695-718 (1998)

Arnon Avron
Tel Aviv University
Hypersequents are finite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two different natural methods of switching from a single-conclusion calculus to a multiple-conclusion one. The use of multiple-conclusion sequents corresponds to using a multiplicative disjunction, while the use of single-conclusion hypersequents corresponds to using an additive one. Moreover: each of the two methods is usually based on a different natural semantic idea and accordingly leads to a different class of algebraic structures. In the cases we consider here the use of multiple-conclusion sequents corresponds to focusing the attention on structures in which there is a full symmetry between the sets of designated and antidesignated elements. The use of single-conclusion hypersequents, on the other hand, corresponds to the use of structures in which all elements except one are designated. Not surprisingly, the use of multiple-conclusion hypersequents corresponds to the use of structures which are both symmetrical and with a single nondesignated element
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/6.5.695
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Investigations Into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Relevance and Paraconsistency—a New Approach.Arnon Avron - 1990 - Journal of Symbolic Logic 55 (2):707-732.
Multiplicative Conjunction as an Extensional Conjunction.Arnon Avron - 1997 - Logic Journal of the IGPL 5 (2):181-208.

View all 6 references / Add more references

Citations of this work BETA

Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.
Hypersequent Calculi for Intuitionistic Logic with Classical Atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.

Add more citations

Similar books and articles

System of Spheres-Based Multiple Contractions.Eduardo Fermé & Maurício D. L. Reis - 2012 - Journal of Philosophical Logic 41 (1):29-52.
Some Multi-Conclusion Modal Paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
In Defence of Repugnance.Michael Huemer - 2008 - Mind 117 (468):899-933.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press.


Added to PP index

Total views
22 ( #515,969 of 2,520,847 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,847 )

How can I increase my downloads?


My notes