Number of the records: 1  

Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity

  1. 1.
    SYSNO0448459
    TitleImplicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
    Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, Carles (UTIA-B) [MTR] RID, ORCID
    Corespondence/seniorNoguera, Carles - Korespondující autor
    Source Title Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. - : Springer
    Document TypeČlánek v odborném periodiku
    Grant GA13-14654S GA ČR - Czech Science Foundation (CSF)
    247584, XE - EU countries
    Institutional supportUIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
    Languageeng
    CountryDE
    Keywords abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
    Permanent Linkhttp://hdl.handle.net/11104/0250156
    FileDownloadSizeCommentaryVersionAccess
    0448459.pdf5888.6 KBAuthor´s preprintrequire
     
Number of the records: 1  

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