19 citations · 21 across the 2 of their papers we have counts for
3 papers
math.LO2019★ 19 cited
Uniform Interpolation and Compact Congruences
S. J. v. Gool, G. Metcalfe, C. Tsinakis
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the fin…
math.RA2018
The Conrad Program: From l-groups to algebras of logic
Michal Botur, Jan Kühr, Lianzhen Liu +1
A number of research articles have established the significant role of lattice-ordered groups (l-groups) in logic. The purpose of the present article is to lay the groundwork for,…
math.LO2017★ 2 cited
Join-completions of ordered algebras
José Gil-Férez, Luca Spada, Constantine Tsinakis +1
We present a systematic study of join-extensions and join-completions of ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and co…