Výsledky vyhledávání
- 1.0461996 - ÚI 2017 ZA eng A - Abstrakt
Lávička, Tomáš - Noguera, Carles
A New Hierarchy of Infinitary Propositional Logics.
LATD 2016 Book of Abstracts. Johannesburg: WITS University, 2016. s. 86-88.
[LATD 2016. Logic, Algebra and Truth Degrees. 28.06.2016-30.06.2016, Phalaborwa]
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261522Název souboru Staženo Velikost Komentář Verze Přístup a0461996.pdf 1 276.1 KB Vydavatelský postprint povolen - 2.0461995 - ÚI 2017 ZA eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Completeness Properties in Protoalgebraic Logics.
LATD 2016 Book of Abstracts. Johannesburg: WITS University, 2016. s. 56-58.
[LATD 2016. Logic, Algebra and Truth Degrees. 28.06.2016-30.06.2016, Phalaborwa]
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * protoalgebraic logic * completeness theorems * logical matrices * consequence relation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261528Název souboru Staženo Velikost Komentář Verze Přístup a0461995.pdf 0 172 KB Vydavatelský postprint povolen - 3.0446018 - ÚI 2016 IT eng A - Abstrakt
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Witnessed Models and Skolemization in Substructural Logics.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 53-54.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0248513Název souboru Staženo Velikost Komentář Verze Přístup a0446018.pdf 0 349.3 KB Vydavatelský postprint povolen - 4.0446017 - ÚI 2016 IT eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Dense completeness theorem for protoalgebraic logics.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 55-57.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0248514Název souboru Staženo Velikost Komentář Verze Přístup a0446017.pdf 0 462.9 KB Vydavatelský postprint povolen - 5.0438105 - ÚI 2015 IL eng A - Abstrakt
Dellunde, P. - García-Cerdana, A. - Noguera, Carles
Löwenheim–Skolem theorems for first-order algebraizable logics.
ISRALOG'14 Abstracts. Haifa: Faculty of Social Sciences, 2014. s. 29-32.
[ISRALOG 2014. Israeli Workshop on Non-Classical Logics and Their Applications /2./. 29.09.2014-01.10.2014, Haifa]
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0241583