Košík

  1. 1.
    0504824 - UIVT-O 2020 RIV GB eng J - Článek v odborném periodiku
    Moraschini, Tommaso
    Varieties of positive modal algebras and structural completeness.
    Review of Symbolic Logic. online June 10 (2019). ISSN 1755-0203
    Grant CEP: GA ČR(CZ) GF15-34650L; GA MŠk(CZ) EF17_050/0008361
    Institucionální podpora: RVO:67985807
    Klíčová slova: positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    Impakt faktor: 0.731, rok: 2018
    Trvalý link: http://hdl.handle.net/11104/0296383