Return to Article Details Logic TK: Algebraic Notions from Tarski’s Consequence Operator Download Download PDF