Number of the records: 1
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
- 1.
SYSNO 0448459 Title Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Noguera, Carles (UTIA-B) [MTR] RID, ORCIDCorespondence/senior Noguera, Carles - Korespondující autor Source Title Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. - : Springer Document Type Článek v odborném periodiku Grant GA13-14654S GA ČR - Czech Science Foundation (CSF) 247584, XE - EU countries Institutional support UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556 Language eng Country DE Keywords abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems Permanent Link http://hdl.handle.net/11104/0250156 File Download Size Commentary Version Access 0448459.pdf 5 888.6 KB Author´s preprint require
Number of the records: 1