The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced ...

Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence ...

Let V be a variety of superalgebras with graded involution and let $\{\cgri(v)\}_{n\geq 1}$ be its sequence of *-graded codimensions. We say that V has polynomial growth $n^k$ if asymptotically $\cgri(V)\approx an^k$, for ...