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