Two Types of Multiple-Conclusion Systems
| Abstract | Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching from a singleconclusioncalculusto a multiple-conclusionone. The use of multiple-conclusionsequentscorresponds to using a multiplicative disjunction, while the use of single-conclusionhypersequents corresponds to using an additive one. Moreover: each of the two methods is usually based on a di erent natural semantic idea and accordingly leads to a di erent 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 surprisingy,the use of multiple-conclusionhypersequents corresponds to the use of structures which are both symmetrical and with a single nondesignated element | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesEduardo 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).
Francesca Poggiolesi (2010). Display Calculi and Other Modal Calculi: A Comparison. Synthese 173 (3).
Casey McGinnis (2007). Some Multi-Conclusion Modal Paralogics. Logica Universalis 1 (2).
D. J. Shoesmith (1978). Multiple-Conclusion Logic. Cambridge University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,628 of 549,196 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
