Constantine Tsinakis

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 4

Top Topics

Partially Ordered

Top Venues

Ann. Pure Appl. Log.

Int. J. Algebra Comput.

Publications

Almudena Colacito, Constantine Tsinakis
Nilpotency and the Hamiltonian property for cancellative residuated lattices. Int. J. Algebra Comput. 32 (4) (2022)
José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou
Join-completions of partially ordered algebras. Ann. Pure Appl. Log. 171 (10) (2020)
George Metcalfe, Constantine Tsinakis
Density revisited. Soft Comput. 21 (1) (2017)
Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
Uniform interpolation and compact congruences. Ann. Pure Appl. Log. 168 (10) (2017)
José Gil-Férez, Antonio Ledda, Constantine Tsinakis
Laterally complete and projective hulls of semilinear residuated lattices. TACL (2013)
Francesco Paoli, Constantine Tsinakis
On Birkhoff's Common Abstraction Problem. Stud Logica 100 (6) (2012)
George Metcalfe, Constantine Tsinakis
Order, Algebra and Logics. J. Log. Comput. 20 (4) (2010)
James B. Hart, Constantine Tsinakis
Ordinal decompositions for preordered root systems. Ann. Pure Appl. Log. 161 (2) (2009)
Nikolaos Galatos, Constantine Tsinakis
Equivalence of consequence relations: an order-theoretic and categorical perspective. J. Symb. Log. 74 (3) (2009)
James B. Hart, Constantine Tsinakis
A concrete realization of the Hoare powerdomain. Soft Comput. 11 (11) (2007)
Constantine Tsinakis, Annika M. Wille
Minimal Varieties of Involutive Residuated Lattices. Stud Logica 83 (1-3) (2006)
Bjarni Jónsson, Constantine Tsinakis
Products of Classes of Residuated Structures. Stud Logica 77 (2) (2004)
Constantine Tsinakis, Han Zhang
Order Algebras as Models of Linear Logic. Stud Logica 76 (2) (2004)
Kevin Blount, Constantine Tsinakis
The Structure of Residuated Lattices. Int. J. Algebra Comput. 13 (4) (2003)
James B. Hart, Lori Rafter, Constantine Tsinakis
The Structure of Commutative Residuated Lattices. Int. J. Algebra Comput. 12 (4) (2002)
Klaus Keimel, Michael W. Mislove, Constantine Tsinakis
Modern Algebra - Foreword. Theor. Comput. Sci. 249 (1) (2000)