David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Logic Journal of the Igpl 6 (5):695-718 (1998)
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)|
No categories specified
(categorize this paper)
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
No references found.
Citations of this work BETA
Hidenori Kurokawa (2009). Hypersequent Calculi for Intuitionistic Logic with Classical Atoms. Annals of Pure and Applied Logic 161 (3):427-446.
Similar books and articles
Eduardo Fermé & Maurício D. L. Reis (2012). System of Spheres-Based Multiple Contractions. Journal of Philosophical Logic 41 (1):29-52.
Greg Restall & Francesco Paoli (2005). The Geometry of Non-Distributive Logics. Journal of Symbolic Logic 70 (4):1108 - 1126.
Karen Paul & Steven D. Lydenberg (1992). Applications of Corporate Social Monitoring Systems; Types, Dimensions, and Goals. Journal of Business Ethics 11 (1):1 - 10.
Michael Huemer (2008). In Defence of Repugnance. Mind 117 (468):899-933.
A. Avron (1998). Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening. Journal of Symbolic Logic 63 (3):831-859.
Sven Ove Hansson (2010). Multiple and Iterated Contraction Reduced to Single-Step Single-Sentence Contraction. Synthese 173 (2):153 - 177.
Arnon Avron & Beata Konikowska (2005). Multi-Valued Calculi for Logics Based on Non-Determinism. Logic Journal of the Igpl 13 (4):365-387.
Francesca Poggiolesi (2010). Display Calculi and Other Modal Calculi: A Comparison. Synthese 173 (3):259 - 279.
Casey McGinnis (2007). Some Multi-Conclusion Modal Paralogics. Logica Universalis 1 (2):335-353.
D. J. Shoesmith (1978). Multiple-Conclusion Logic. Cambridge University Press.
Added to index2009-01-28
Total downloads3 ( #428,320 of 1,696,808 )
Recent downloads (6 months)1 ( #346,744 of 1,696,808 )
How can I increase my downloads?