Number of the records: 1  

Almost (MP)-based Substructural Logics

    1.
    SYSNO0361600
    TitleAlmost (MP)-based Substructural Logics
    Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, C. (ES)
    Source Title Topology, Algebra and Categories in Logic. S. 107-110. - Marseille, 2011
    Conference TACL 2011. Topology, Algebra and Categories in Logic /5./, Marseilles, 26.07.2011-30.07.2011
    Document TypeAbstrakt
    Grant 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryFR
    Keywords nonassociative full Lambek calculus * deduction theorem
    Permanent Linkhttp://hdl.handle.net/11104/0198882
    FileDownloadSizeCommentaryVersionAccess
    0361600.pdf0634.9 KBAuthor´s preprintopen-access
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all