Switch to: References

Add citations

You must login to add citations.
  1. New Dimensions on Translations Between Logics.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano - 2009 - Logica Universalis 3 (1):1-18.
    After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  • Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.
    This paper develops a new framework for combining propositional logics, called "juxtaposition". Several general metalogical theorems are proved concerning the combination of logics by juxtaposition. In particular, it is shown that under reasonable conditions, juxtaposition preserves strong soundness. Under reasonable conditions, the juxtaposition of two consequence relations is a conservative extension of each of them. A general strong completeness result is proved. The paper then examines the philosophically important case of the combination of classical and intuitionist logics. Particular attention is (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Decidability and Complexity of Fibred Logics Without Shared Connectives.Sérgio Marcelino & Carlos Caleiro - 2016 - Logic Journal of the IGPL 24 (5).
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • To Distribute or Not to Distribute?Jean-Yves Béziau & Marcelo E. Coniglio - 2011 - Logic Journal of the IGPL 19 (4):466-583.
    In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations