Počet záznamů: 1  

Implicational (semilinear) logics III: completeness properties

  1. 1. Cintula, P., Noguera, C. Implicational (semilinear) logics III: completeness properties. Archive for Mathematical Logic. 2018, 57(3-4), 391-420. ISSN 0933-5846. Dostupné z: doi: 10.1007/s00153-017-0577-0