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.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 - 3.0380031 - ÚI 2013 PL eng A - Abstrakt
Cintula, Petr - Noguera, C.
Abstract Algebraic Logic: Theory and Applications.
ESSLI 2012. Opole University, 2012. s. 58-58.
[ESSLLI 2012. European Summer School in Logic, Language and Information /24./. 06.08.2012-17.08.2012, Opole]
Institucionální podpora: RVO:67985807
Klíčová slova: abstract Algebraic Logic * consequence relations * protoalgebraic logics * Leibniz hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0210857Název souboru Staženo Velikost Komentář Verze Přístup AAL-ESSLLI-1.pdf 8 273.6 KB Jiná povolen AAL-ESSLLI-2.pdf 1 240 KB Jiná povolen AAL-ESSLLI-3.pdf 0 1.9 MB Jiná povolen AAL-ESSLLI-4.pdf 0 281.6 KB Jiná povolen AAL-ESSLLI-5.pdf 0 301.5 KB Jiná povolen