5 found
Sort by:
  1. João Rasga, Amílcar Sernadas & Cristina Sernadas (2012). Importing Logics. Studia Logica 100 (3):545-581.
    The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such paths, facilitating proofs involving inductions on formulas. Importing is proved to be strongly conservative. Conservative results follow as corollaries for temporalization, modalization and exogenous (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Cristina Sernadas, Luca Viganò, João Rasga & Amílcar Sernadas (2003). Truth-Values as Labels: A General Recipe for Labelled Deduction. Journal of Applied Non-Classical Logics 13 (3-4):277-315.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas (2001). Fibring: Completeness Preservation. Journal of Symbolic Logic 66 (1):414-439.
    A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Amílcar Sernadas (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9 (4):511-513.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro (1997). Synchronization of Logics. Studia Logica 59 (2):217-247.
    Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation