- Implicational (semilinear) logics III: completeness properties
Počet záznamů: 1  

Implicational (semilinear) logics III: completeness properties

  1. 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
    Grant CEP: GA ČR GA13-14654S
    GRANT EU: European Commission(XE) 689176 - SYSMICS
    Obor OECD: Pure mathematics
    Impakt faktor: 0.574, rok: 2018 ; AIS: 0.589, rok: 2018
    DOI: https://doi.org/10.1007/s00153-017-0577-0
    http://hdl.handle.net/11104/0273436
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.