0504824 - ÚI 2020 RIV GB eng J - Journal Article
Moraschini, Tommaso
Varieties of positive modal algebras and structural completeness.
Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR(CZ) GF15-34650L; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
OECD category: Pure mathematics
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020319000236
Permanent Link: http://hdl.handle.net/11104/0296383
Moraschini, Tommaso
Varieties of positive modal algebras and structural completeness.
Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR(CZ) GF15-34650L; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
OECD category: Pure mathematics
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020319000236
Permanent Link: http://hdl.handle.net/11104/0296383