Výsledky vyhledávání
- 1.0477040 - ÚI 2019 RIV DE eng J - Článek v odborném periodiku
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
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
Impakt faktor: 0.574, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0273436Název souboru Staženo Velikost Komentář Verze Přístup 0477040.pdf 9 1.2 MB GSp Autorský postprint povolen - 2.0448459 - ÚI 2017 RIV DE eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.394, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0250156Název souboru Staženo Velikost Komentář Verze Přístup 0448459.pdf 5 888.6 KB Autorský preprint vyžádat