Logic Journal of the IGPL 6 (5):695-718 (1998)
Authors |
|
Abstract |
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 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Investigations Into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Algebraic Completeness Results for R-Mingle and its Extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
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.
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.
Multi-Valued Calculi for Logics Based on Non-Determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.A. Avron - 1998 - Journal of Symbolic Logic 63 (3):831-859.
Applications of Corporate Social Monitoring Systems; Types, Dimensions, and Goals.Karen Paul & Steven D. Lydenberg - 1992 - Journal of Business Ethics 11 (1):1 - 10.
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.
Analytics
Added to PP index
2009-01-28
Total views
22 ( #515,969 of 2,520,847 )
Recent downloads (6 months)
1 ( #405,457 of 2,520,847 )
2009-01-28
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?
Downloads