Concepedia

Constantine Tsinakis

CT

20

Publications

1K

Citations

15

H-Index

1977

Active since

Affiliations

Vanderbilt University(Current)

University of Siena

University of Bern

Xavier University

Constantine Tsinakis is an author at Vanderbilt University specializing in automated reasoning, discrete mathematics, and engineering.

Top concepts

Automated ReasoningEngineeringDiscrete MathematicsStructural OptimizationLanguageSemanticsLinguisticsFormal LogicFormal MethodsDiscrete Geometry

Publications per year

1977–2017

20

Publications

20

THE STRUCTURE OF RESIDUATED LATTICES

Kevin K. Blount, Constantine Tsinakis · International Journal of Algebra and Computation · 2003 · 302 citations

Residuated Lattices, Discrete Geometry, Engineering +9

Generalized MV-algebras

Nikolaos Galatos, Constantine Tsinakis · Journal of Algebra · 2004 · 137 citations

THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES

James B. Hart, LORI RAFTER, Constantine Tsinakis · International Journal of Algebra and Computation · 2002 · 112 citations

Residuated Lattices, Abstract Algebra, Lattice (Order) +7

Cancellative residuated lattices

Patrick Bahls, James A. Cole, Nikolaos Galatos et al. · Algebra Universalis · 2003 · 99 citations

Partially Ordered Set, Lattice Theory, Lattice (Order) +1

Amalgamation and interpolation in ordered algebras

George Metcalfe, Franco Montagna, Constantine Tsinakis · Journal of Algebra · 2014 · 55 citations

Order Theory, Ordered Algebras, Universal Algebra +1

Rows per page

1–5 of 20