5 found
Sort by:
  1. José Júlio Alferes, Ricardo Gonçalves & João Leite (2013). Equivalence of Defeasible Normative Systems. Journal of Applied Non-Classical Logics 23 (1-2):25-48.
    Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce?s Equilibrium Logic and (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. 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  
  4. 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  
  5. 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