8 found
Sort by:
  1. João Rasga, Cristina Sernadas & Amlcar Sernadas (2014). Craig Interpolation in the Presence of Unreliable Connectives. Logica Universalis 8 (3-4):423-446.
    Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. João Rasga, Wafik Boulos Lotfallah & Cristina Sernadas (2013). Completeness and Interpolation of Almost‐Everywhere Quantification Over Finitely Additive Measures. Mathematical Logic Quarterly 59 (4-5):286-302.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. João Rasga, Walter Carnielli & Cristina Sernadas (2009). Interpolation Via Translations. Mathematical Logic Quarterly 55 (5):515-534.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. 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  
  6. Cristina Sernadas, João Rasga & Walter A. Carnielli (2002). Modulated Fibring and the Collapsing Problem. Journal of Symbolic Logic 67 (4):1541-1569.
    Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the semantic and deductive levels. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. 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