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  
  • Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
    Download  
     
    Export citation  
     
    Bookmark   177 citations  
  • A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
    Download  
     
    Export citation  
     
    Bookmark   474 citations  
  • (2 other versions)Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
    Download  
     
    Export citation  
     
    Bookmark   173 citations  
  • (1 other version)On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
    Download  
     
    Export citation  
     
    Bookmark   129 citations  
  • A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • On an implication connective of RM.Arnon Avron - 1986 - Notre Dame Journal of Formal Logic 27 (2):201-209.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
    Download  
     
    Export citation  
     
    Bookmark   125 citations  
  • The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • On negation: Pure local rules.João Marcos - 2005 - Journal of Applied Logic 3 (1):185-219.
    Download  
     
    Export citation  
     
    Bookmark   18 citations