Number of the records: 1
Implicational (semilinear) logics III: completeness properties
- 1.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
OECD category: Pure mathematics
Impact factor: 0.574, year: 2018 ; AIS: 0.589, rok: 2018
DOI: https://doi.org/10.1007/s00153-017-0577-0
http://hdl.handle.net/11104/0273436
Number of the records: 1
