Number of the records: 1
Implicational (semilinear) logics III: completeness properties
- 1.
SYSNO 0477040 Title Implicational (semilinear) logics III: completeness properties 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č. 57, 3-4 (2018), s. 391-420. - : Springer Document Type Článek v odborném periodiku Grant GA13-14654S GA ČR - Czech Science Foundation (CSF) 689176, XE - EU countries Institutional support UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556 Language eng Country DE Keywords abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness Permanent Link http://hdl.handle.net/11104/0273436 File Download Size Commentary Version Access 0477040.pdf 9 1.2 MB GSp Author’s postprint open-access
Number of the records: 1