Switch to: References

Add citations

You must login to add citations.
  1. A Categorical Semantics for Polarized MALL.Masahiro Hamano & Philip Scott - 2007 - Annals of Pure and Applied Logic 145 (3):276-313.
    In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic , which is the linear fragment of Olivier Laurent’s Polarized Linear Logic. Our model is based on an adjunction between reflective/coreflective full subcategories / of an ambient *-autonomous category . Similar structures were first introduced by M. Barr in the late 1970’s in abstract duality theory and more recently in work on game semantics for linear logic. The paper has two goals: to discuss concrete models and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713 - 740.
    In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  • The Categorical Imperative: Category Theory as a Foundation for Deontic Logic.Clayton Peterson - 2014 - Journal of Applied Logic 12 (4):417-461.