4 found
Order:
Disambiguations:
Casey McGinnis [5]Casey N. McGinnis [1]
  1.  12
    Casey McGinnis (2007). Some Multi-Conclusion Modal Paralogics. 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.  2
    Casey N. McGinnis (2003). 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] Bulletin of Symbolic Logic 9 (3):410-412.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  1
    Casey McGinnis (2005). Bremer Manuel. An Introduction to Paraconsistent Logics. Peter Lang, Frankfurt, 2005, 249 Pp. [REVIEW] Bulletin of Symbolic Logic 11 (3):447-451.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Casey McGinnis (2005). M. Bremer, An Introduction to Paraconsistent Logics. Bulletin of Symbolic Logic 11 (3):447-450.