5 found
Order:
Disambiguations
Casey McGinnis [5]Casey N. McGinnis [2]
  1.  19
    Some Multi-Conclusion Modal Paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
    . I give a systematic presentation of a fairly large family of multiple-conclusion modal logics that are paraconsistent and/or paracomplete. After providing motivation for studying such systems, I present semantics and tableau-style proof theories for them. The proof theories are shown to be sound and complete with respect to the semantics. I then show how the “standard” systems of classical, single-conclusion modal logics fit into the framework constructed.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2.  3
    Bremer Manuel. An Introduction to Paraconsistent Logics. Peter Lang, Frankfurt, 2005, 249 Pp. [REVIEW]Casey McGinnis - 2005 - Bulletin of Symbolic Logic 11 (3):447-451.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  2
    Paraconsistency: The Logical Way to the Inconsistent, Edited by Carnielli Walter A., Coniglio Marcelo E., and D'Ottaviano Itala M. Loffredo, Marcel Dekker, New York, 2002, Xiv+ 552 Pp. [REVIEW]Casey N. McGinnis - 2003 - Bulletin of Symbolic Logic 9 (3):410-412.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. M. Bremer, An Introduction to Paraconsistent Logics.Casey McGinnis - 2005 - Bulletin of Symbolic Logic 11 (3):447-450.
  5. Paraconsistency: The Logical Way to the Inconsistent.Casey N. McGinnis - 2003 - Bulletin of Symbolic Logic 9 (3):410-412.