10 found
Sort by:
  1. Carlos Caleiro & Ricardo Gonçalves (2013). Abstract Valuation Semantics. Studia Logica 101 (4):677-712.
    We define and study abstract valuation semantics for logics, an algebraically well-behaved version of valuation semantics. Then, in the context of the behavioral approach to the algebraization of logics, we show, by means of meaningful bridge theorems and application examples, that abstract valuations are suited to play a role similar to the one played by logical matrices in the traditional approach to algebraization.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Carlos Caleiro, Luca Viganò & Marco Volpe (2013). On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW] Logica Universalis 7 (1):33-69.
    We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of completeness (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Carlos Areces, Carlos Caleiro & Gregory Chaitin (2012). Petrópolis, Rio de Janeiro, Brazil May 9–13, 2011. Bulletin of Symbolic Logic 18 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Carlos Caleiro & Ricardo Goncalves (2010). XIV Latin American Symposium on Mathematical Logic (SLALM)(Vol 15, Pg 332, 2009). Bulletin of Symbolic Logic 16 (1).
     
    My bibliography  
     
    Export citation  
  5. Hans Tompits, Ken Satoh, Arnold Beckmann, Carlos Caleiro, Thomas Eiter, Sylvain Salvati, Taisuke Sato & Frank Wolter (2010). 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Bulletin of Symbolic Logic 16 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Carlos Caleiro & Ricardo Gonçalves (2009). Behavioral Algebraization of da Costa's C-Systems. Journal of Applied Non-Classical Logics 19 (2):127-148.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Carlos Caleiro, Ricardo Gonçalves & Manuel Martins (2009). Behavioral Algebraization of Logics. Studia Logica 91 (1):63 - 111.
    We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the standard approach, while also bringing a new (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Carlos Caleiro & Jaime Ramos (2007). From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis 1 (1):71-92.
    . The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Carlos Caleiro, Walter Carnielli, Marcelo Coniglio & João Marcos (2005). Two's Company: The Humbug of Many Logical Values. In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlag.
    The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with more (...)
     
    My bibliography  
     
    Export citation  
  10. 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