Search results
- 1.0461996 - ÚI 2017 ZA eng A - Abstract
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]
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807 ; RVO:67985556
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261522File Download Size Commentary Version Access a0461996.pdf 1 276.1 KB Publisher’s postprint open-access - 2.0461995 - ÚI 2017 ZA eng A - Abstract
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]
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logic * protoalgebraic logic * completeness theorems * logical matrices * consequence relation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261528File Download Size Commentary Version Access a0461995.pdf 0 172 KB Publisher’s postprint open-access - 3.0446018 - ÚI 2016 IT eng A - Abstract
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]
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248513File Download Size Commentary Version Access a0446018.pdf 0 349.3 KB Publisher’s postprint open-access - 4.0446017 - ÚI 2016 IT eng A - Abstract
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]
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807 ; RVO:67985556
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248514File Download Size Commentary Version Access a0446017.pdf 0 462.9 KB Publisher’s postprint open-access - 5.0438105 - ÚI 2015 IL eng A - Abstract
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]
R&D Projects: GA ČR GA13-14654S
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional support: RVO:67985807 ; RVO:67985556
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0241583