activity
20172025
most citedUniform Interpolation and Compact Congruences

19 citations · 37 across the 6 of their papers we have counts for

collaborators

6 papers

math.LO2025

Nagata products of bimodules over residuated lattices

Adam Přenosil, Constantine Tsinakis

We study the (restricted) Nagata product construction, which produces a partially ordered semigroup from a bimodule consisting of a partially ordered semigroup acting on a (pointed…

math.LO2024

Equivalence of multiset-based consequence relations

Ali Madanshekaf, Adam Přenosil, Zeinab Khanjanzadeh Seresti +1

The pioneering work of Blok and Jónsson and its further development by Galatos and Tsinakis initiated an abstract study of consequence relations using the tools of module theory, w…

math.LO2020

Nilpotency and the Hamiltonian property for cancellative residuated lattices

Almudena Colacito, Constantine Tsinakis

The present article studies nilpotent and Hamiltonian cancellative residuated lattices and their relationship with nilpotent and Hamiltonian lattice-ordered groups. In particular,…

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★ 16 cited

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…