Košík

    1.
    0477040 - ÚI 2019 RIV DE eng J - Článek v odborném periodiku
    Cintula, Petr - Noguera, Carles
    Implicational (semilinear) logics III: completeness properties.
    Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. ISSN 0933-5846. E-ISSN 1432-0665
    Grant CEP: GA ČR GA13-14654S
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Institucionální podpora: RVO:67985807 ; RVO:67985556
    Klíčová slova: abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
    Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
    Impakt faktor: 0.574, rok: 2018
    Trvalý link: http://hdl.handle.net/11104/0273436
    Název souboruStaženoVelikostKomentářVerzePřístup
    0477040.pdf91.2 MBGSpAutorský postprintpovolen
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše