Two Types of Multiple-Conclusion Systems
Graduate studies at Western
|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)|
No categories specified
(categorize this paper)
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
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.
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 downloads2 ( #248,102 of 755,029 )
Recent downloads (6 months)0
How can I increase my downloads?