Number of the records: 1  

Varieties of positive modal algebras and structural completeness

  1. 1.
    SYSNO0504824
    TitleVarieties of positive modal algebras and structural completeness
    Author(s) Moraschini, Tommaso (UIVT-O) SAI, RID
    Source Title Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. - : Cambridge University Press
    Document TypeČlánek v odborném periodiku
    Grant GF15-34650L GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
    EF17_050/0008361 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
    Institutional supportUIVT-O - RVO:67985807
    Languageeng
    CountryGB
    Keywords positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
    URLhttp://dx.doi.org/10.1017/S1755020319000236
    Permanent Linkhttp://hdl.handle.net/11104/0296383
     
Number of the records: 1  

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