3 problems

Constructor-space factorization conjecture. All theorems of $L$ can be realized as actual factorizations in $\operatorname{CatTh}[E_L,\mathcal{F}]$.

Let $\mathbf{S}$ be the equational calculus whose axioms are the axioms of commutative monoids with respect to $\wedge$ and $\top$, together with … and … Interpret formulae arithme…

Let $\mathbb{A}$ be an involutive semilattice direct system of $\mathcal{L}$-algebras, whose corresponding involutive semilattice of indices is non-trivial. Identity-characterizati…