All Questions

Is there published work about universal anti-Horn classes? Anti-Horn formulas are also sometimes known as dual Horn. See also related question Is there any research of universal algebras axiomatized ...

Are there examples of algebraic structures which have been constructed using evolutionary algorithms and possibly machine learning algorithms? I am looking for algebraic structures like lattices ...

Let $M=(W,R)$ be a Kripke frame, $A=(f_1,...,f_m)$ is a tuple of operations $f_i:W^{n_i}\to W$, and $\Phi=(\varphi_1,...,\varphi_m )$ is a tuple of first-order logic formulas in vocabulary $\sigma=\{=...

Let $f$ be a surjective function from $X$ to $\{1,2,3\}$. Let $* :X^2 \to X$, such that $$f(x)\neq f(y) \implies f(x) \neq f(xy)\neq f(y), $$ and $$f(x)=f(y)\implies f(x)=f(xy).$$ Let's call the ...