Výsledky vyhledávání
- 1.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 - 2.0436388 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
A Note on Natural Extensions in Abstract Algebraic Logic.
Studia Logica. Roč. 103, č. 4 (2015), s. 815-823. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR(CZ) GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * consequence relations * natural extensions * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.724, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0240134Název souboru Staženo Velikost Komentář Verze Přístup 0436388.pdf 19 817.6 KB Autorský preprint vyžádat - 3.0428704 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.
Journal of Symbolic Logic. Roč. 80, č. 1 (2015), s. 341-358. ISSN 0022-4812. E-ISSN 1943-5886
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 logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0234002Název souboru Staženo Velikost Komentář Verze Přístup 0428704.pdf 55 992 KB Autorský preprint povolen a0428704.pdf 10 379.6 KB UTIA-UI-Hodnocení AV 2020 Vydavatelský postprint vyžádat - 4.0395571 - ÚI 2014 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
The Proof by Cases Property and its Variants in Structural Consequence Relations.
Studia Logica. Roč. 101, č. 4 (2013), s. 713-747. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA MŠMT(CZ) 1M0545
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Výzkumný záměr: CEZ:AV0Z1030915
Institucionální podpora: RVO:67985556
Klíčová slova: Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.330, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0223575Název souboru Staženo Velikost Komentář Verze Přístup 0395571.pdf 17 749.6 KB Autorský preprint povolen