1.  2
    David Pearce & Agustín Valverde (2005). A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80 (2-3):321-346.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  14
    David Pearce & Agustín Valverde (2005). A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80 (2-3):321 - 346.
    Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  2
    Pedro Cabalar & Agustín Valverde (2013). Foreword. Journal of Applied Non-Classical Logics 23 (1-2):1-1.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography