Basket

    1.
    0377616 - ÚI 2013 CO eng A - Abstract
    Noguera, C. - Cintula, Petr - Haniková, Zuzana - Horčík, Rostislav
    Non-associative substructural logics: alternative axiomatization, algebraic and logical properties.
    SLALM 2012 Abstracts. Bogotá: Universidad de los Andes, 2012. s. 25.
    [SLALM 2012. Latin American Symposium on Mathematical logic /15./. 04.06.2012-08.06.2012, Bogotá]
    Institutional support: RVO:67985807
    Keywords : substructural logics * non-associative full Lambek logic * deduction theorems * axiomatic systems
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0209725
    FileDownloadSizeCommentaryVersionAccess
    0377616.pdf0153.6 KBAuthor´s preprintopen-access
     
     

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

Accept allSettingsReject all