Switch to: Citations

Add references

You must login to add references.
  1. Partially-ordered Modalities.Gerard Allwein & William L. Harrison - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • New axiomatics for relevant logics, I.Robert K. Meyer - 1974 - Journal of Philosophical Logic 3 (1/2):53 - 86.
  • Kripke models for linear logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
    We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding a coimplication operator, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  • .E. J. Lemmon - 1966
    No categories
     
    Export citation  
     
    Bookmark   49 citations