Switch to: References

Add citations

You must login to add citations.
  1. De Morgan Interpretation of the Lambek–Grishin Calculus.Michael Kaminski & Nissim Francez - 2020 - Review of Symbolic Logic 13 (4):845-856.
    We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is based on the De Morgan interpretation of the dual Grishin connectives.
    Download  
     
    Export citation  
     
    Bookmark  
  • On undecidability of the propositional logic of an associative binary modality.Michael Kaminski - forthcoming - Archive for Mathematical Logic:1-21.
    It is shown that both classical and intuitionistic propositional logics of an associative binary modality are undecidable. The proof is based on the deduction theorem for these logics.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
    Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-c4c498947-mmzqd uwo