Text this: Logic TK: Algebraic Notions from Tarski’s Consequence Operator