Stanford Encyclopedia of Philosophy (2008)
Although a very recent topic in contemporary logic, the subject of combinations of logics has already shown its deep possibilities. Besides the pure philosophical interest offered by the possibility of defining mixed logic systems in which distinct operators obey logics of different nature, there are also several pragmatical and methodological reasons for considering combined logics. We survey methods for combining logics (integration of several logic systems into a homogeneous environment) as well as methods for decomposing logics, showing their interesting properties and applications.
|Keywords||combinations of logic systems|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Structuring the Universe of Universal Logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.
Modulated Fibring and the Collapsing Problem.Cristina Sernadas, João Rasga & Walter A. Carnielli - 2002 - Journal of Symbolic Logic 67 (4):1541-1569.
Transfers Between Logics and Their Applications.M. E. Coniglio & W. A. Carnielli - 2002 - Studia Logica 72 (3):367-400.
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - unknown
Two Semantical Approaches to Paraconsistent Modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo E. Coniglio & Newton M. Peron - 2009 - Principia 13 (3):299-326.
Added to index2009-01-28
Total downloads20 ( #237,999 of 2,143,900 )
Recent downloads (6 months)1 ( #387,257 of 2,143,900 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.