4 found
Sort by:
Disambiguations:
Casey McGinnis [3]Casey N. McGinnis [1]
  1. 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)  
     
    My bibliography  
     
    Export citation  
  2. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Casey McGinnis (2005). M. Bremer, An Introduction to Paraconsistent Logics. Bulletin of Symbolic Logic 11 (3):447-450.
     
    My bibliography  
     
    Export citation  
  4. 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  
     
    My bibliography  
     
    Export citation