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
OECD category: Pure mathematics
Impact factor: 0.574, year: 2018
http://hdl.handle.net/11104/0273436
Number of the records: 1