Constantine Tsinakis

18 papers Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Equivalence of multiset-based consequence relations.
Ann. Pure Appl. Log.
Ali Madanshekaf, Adam Prenosil, Zeinab Khanjanzadeh Seresti, Constantine Tsinakis
2022 J jnl
Nilpotency and the Hamiltonian property for cancellative residuated lattices.
Int. J. Algebra Comput.
Almudena Colacito, Constantine Tsinakis
2020 J jnl
Join-completions of partially ordered algebras.
Ann. Pure Appl. Log.
José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou
2017 J jnl
Density revisited.
Soft Comput.
George Metcalfe, Constantine Tsinakis
2017 J jnl
Uniform interpolation and compact congruences.
Ann. Pure Appl. Log.
Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
2014 — ed.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013
TACL
Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis
2013 — conf
Laterally complete and projective hulls of semilinear residuated lattices.
TACL
José Gil-Férez, Antonio Ledda, Constantine Tsinakis
2012 J jnl
On Birkhoff's Common Abstraction Problem.
Stud Logica
Francesco Paoli, Constantine Tsinakis
2010 J jnl
Order, Algebra and Logics.
J. Log. Comput.
George Metcalfe, Constantine Tsinakis
2009 J jnl
Equivalence of consequence relations: an order-theoretic and categorical perspective.
J. Symb. Log.
Nikolaos Galatos, Constantine Tsinakis
2009 J jnl
Ordinal decompositions for preordered root systems.
Ann. Pure Appl. Log.
James B. Hart, Constantine Tsinakis
2007 J jnl
A concrete realization of the Hoare powerdomain.
Soft Comput.
James B. Hart, Constantine Tsinakis
2006 J jnl
Minimal Varieties of Involutive Residuated Lattices.
Stud Logica
Constantine Tsinakis, Annika M. Wille
2004 J jnl
Order Algebras as Models of Linear Logic.
Stud Logica
Constantine Tsinakis, Han Zhang
2004 J jnl
Products of Classes of Residuated Structures.
Stud Logica
Bjarni Jónsson, Constantine Tsinakis
2003 J jnl
The Structure of Residuated Lattices.
Int. J. Algebra Comput.
Kevin Blount, Constantine Tsinakis
2002 J jnl
The Structure of Commutative Residuated Lattices.
Int. J. Algebra Comput.
James B. Hart, Lori Rafter, Constantine Tsinakis
2000 J jnl
Modern Algebra - Foreword.
Theor. Comput. Sci.
Klaus Keimel, Michael W. Mislove, Constantine Tsinakis