Logic TK: algebric notions from Tarski's consequence operator - Feitosa, Hércules de Araujo [UNESP] (2010)