Canonical Formula, finitely presented algebra, intermediate logics, Jankov characteristic formula, variety with ternary deductive term.
