Number of the records: 1
Implicational (semilinear) logics III: completeness properties
- 1.0477040 - ÚI 2019 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
OECD category: Pure mathematics; Pure mathematics (UTIA-B)
Impact factor: 0.574, year: 2018
Permanent Link: http://hdl.handle.net/11104/0273436File Download Size Commentary Version Access 0477040.pdf 9 1.2 MB GSp Author’s postprint open-access
Number of the records: 1