Výsledky vyhledávání

  1. 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
     
     
  2. 2.
    0448459 - ÚI 2017 RIV DE eng J - Článek v odborném periodiku
    Cintula, Petr - Noguera, Carles
    Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity.
    Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. ISSN 0933-5846. E-ISSN 1432-0665
    Grant CEP: GA ČR GA13-14654S
    GRANT EU: European Commission(XE) 247584 - MATOMUVI
    Institucionální podpora: RVO:67985807 ; RVO:67985556
    Klíčová slova: abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.394, rok: 2016
    Trvalý link: http://hdl.handle.net/11104/0250156
    Název souboruStaženoVelikostKomentářVerzePřístup
    0448459.pdf5888.6 KBAutorský preprintvyžádat
     
     


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