H. Andréka

• Decision problems for equational theories of relation algebras
• On universal algebraic construction of logics