Abstract

Completeness Properties in Protoalgebraic Logics

Cintula Petr, Noguera Carles

: LATD 2016 Book of Abstracts, p. 56-58

: LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016)

: GA13-14654S, GA ČR

: abstract algebraic logic, protoalgebraic logic, completeness theorems, logical matrices, consequence relation

: BA