Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity

0448459 - ÚI 2017 RIV DE eng J - Journal Article
Cintula, Petr - Noguera, Carles
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity.
Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA ČR GA13-14654S
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
Subject RIV: BA - General Mathematics
Impact factor: 0.394, year: 2016
Permanent Link: http://hdl.handle.net/11104/0250156