4 found
Order:
See also
Morgan Thomas
University of Connecticut
  1.  25
    A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.
    We develop an axiomatic theory of “generalized Routley-Meyer logics.” These are first-order logics which are can be characterized by model theories in a certain generalization of Routley-Meyer semantics. We show that all GRM logics are subclassical, have recursively enumerable consequence relations, satisfy the compactness theorem, and satisfy the standard structural rules and conjunction and disjunction introduction/elimination rules. We also show that the GRM logics include classical logic, intuitionistic logic, LP/K3/FDE, and the relevant logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2. The Postmodern Explained to Children Correspondence 1982-1985.Jean François Lyotard, Julian Pefanis & Morgan Thomas - 1992
     
    Export citation  
     
    Bookmark   4 citations  
  3. Nuancing the Pure: The Marks of Rothko.Morgan Thomas - 1999 - Literature & Aesthetics 9:31-47.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  22
    Approximating Cartesian Closed Categories in NF-Style Set Theories.Morgan Thomas - 2018 - Journal of Philosophical Logic 47 (1):143-160.
    I criticize, but uphold the conclusion of, an argument by McLarty to the effect that New Foundations style set theories don’t form a suitable foundation for category theory. McLarty’s argument is from the fact that Set and Cat are not Cartesian closed in NF-style set theories. I point out that these categories do still have a property approximating Cartesian closure, making McLarty’s argument not conclusive. After considering and attempting to address other problems with developing category theory in NF-style set theories, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark