Výsledky vyhledávání
- 1.0439019 - ÚI 2015 IT eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Combining logics using two-layer modal syntax.
Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts. 2014. s. 7-8.
[Beyond True and False: Logic, Algebra and Topology. 03.12.2014-05.12.2014, Florence]
Grant CEP: GA ČR GAP202/10/1826
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0242337Název souboru Staženo Velikost Komentář Verze Přístup a0439019.pdf 2 489.2 KB Vydavatelský postprint povolen - 2.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