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/0261528
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/0261528