Switch to: Citations

Add references

You must login to add references.
  1. Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
    Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all three-valued (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
    We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n -valued logics, each one of which is not (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Revisiting da Costa logic.Mauricio Osorio Galindo, Verónica Borja Macías & José Ramón Enrique Arrazola Ramírez - 2016 - Journal of Applied Logic 16:111-127.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Equivalence for the G 3 ′ -stable models semantics.José Luis Carballido, Mauricio Osorio & José Ramón Arrazola - 2010 - Journal of Applied Logic 8 (1):82-96.
    Download  
     
    Export citation  
     
    Bookmark   1 citation