Basket

    1.
    0431690 - ÚI 2015 AT eng A - Abstract
    Haniková, Zuzana - Savický, Petr
    On satisfiability of terms in FLew-algebras.
    Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 191-193
    [LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
    R&D Projects: GA ČR GBP202/12/G061
    Institutional support: RVO:67985807
    Keywords : substructural logic * Full Lambek calculus with exchange and weakening * satisfiability of terms
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0236274
    FileDownloadSizeCommentaryVersionAccess
    a0431690.pdf0431.1 KBPublisher’s postprintopen-access
     
     

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

Accept allSettingsReject all