3 problems

Let $X$ be a finite CKL-algebra, meaning an L-algebra satisfying the CKL axioms. Call $X$ simple if it has no nontrivial ideals, and call it linear if its underlying order is linea…

A CKL-algebra is an algebra in the class of L-algebras satisfying the CKL axioms; an L-algebra is simple when it has no nontrivial ideals, and it is linear when its underlying orde…

Provability-completeness conjecture. An inequality $u\leqslant v$ of elements from $\Om AM$ is provable from $\Sigma$ if and only if $\op \Sigma\cl$ satisfies $u\leqslant v$.