Presentations

SINCE 2002

  • “Structure Theory of Algebras of Logic,” plenary talk Algebra and Substructural Logics (Take 6), Cagliari, Italy, June 11-13, 2018.
  • “The Conrad program in ordered algebras,” plenary talk SYSMICS (Syntax Meets Semantics) 2016, Barcelona, Spain, September 5-9, 2016.
  • “The algebras of substructural logics,” Three-lecture series, Seminari Estivi di Logica e Filosofia della Scienza, University of Cagliari, May 21, May 28, and June 4, 2015.
  • “Hulls of ordered algebras,” plenary talk BLAST 2015, Las Cruces, New Mexico, January 5-9, 2015.
  • “Join Completions of Ordered Algebras,” seminar talk, University of Cagliari, Italy, September 24, 2014.
  • “The Conrad program: from l-groups to algebras of logic,” plenary talk Quantum Structures 2014, Olomouc, Czech Republic, June 23-27, 2014.
  • “Join Completions of Ordered Algebras,” invited talk Workshop on Ordered Algebras and Logic, Bern, Switzerland, June 17, 2014.
  • “Order-theoretic Aspects of Algebras of Logic,” special session talk on non-classical  logics, Quantum Structures 2012, University of Cagliari, July 23-27, 2012.
  • “Lattice-theoretic Properties of Algebras of Logic,” plenary talk, ManyVal 2012, Salerno, July 4-7, 2012.
  • “Amalgamation and Interpolation in Algebras of Logic,” colloquium talk, University of Bern, May 29, 2012.
  • “The Finite Embeddability Property for Algebras of Logic,” invited talk at the First Joint Cagliari-Olomouc Workshop on Algebraic Logic, University of Cagliari, May 14-16, 2012.
  • “Join-Completions and Finite Embeddability,”  plenary talk at the Workshop on Logic and Computation: from proof theory to program verification, held in Kanazawa, Japan, February 8-9, 2011.
  • “An Abstract View of Logical Consequence Relations: A Gentle Introduction,” Colloquium Talk, Japan Advanced Institute of Science and Technology, October 7, 2011.
  • “Join-completions of ordered structures,”  invited talk at the Studia Logica conference Trends in Logic VIII, Lattice-Ordered Groups and MV-Algebras: Interaction and Impact on Algebras of Logic, held in Buenos Aires, Argentina, October 13-15, 2010.
  • “Residuated structures: algebraic and logical perspectives,” 12-hour graduate course in the Department of Mathematics and Informatics, University of Salerno, March 8-12, 2010.
  • “Amalgamation and interpolation in ordered algebras,” and “A Holland-type representation theorem for ordered algebras,” seminar talks at the University of Cagliari, Italy, February 17 and 19, 2010.
  • “Equivalence of logical consequence relations: an order-theoretic and categorical approach,” plenary opening talk at the international workshop Logical Foundations of Rational Interaction, organized by Centro di Ricerca Matematica Ennio De Giorgi and held in Pisa, Italy, November 4, 2009.
  • “The interplay of algebra and logic,” plenary talk at the international workshop Probability, Uncertainty and Rationality, organized by Centro di Ricerca Matematica Ennio De Giorgi and held in Pontignano, Italy, November 1-3, 2009.
  • “Residuated structures: algebraic and logical perspectives,” 12-hour graduate course at the Department of Information Science, University of Milan, September 21-25, 2009.
  • “Amalgamation and interpolation in ordered algebras,” plenary talk at the international conference Topology, Algebras and Categories in Logic, held in Amsterdam, Holland, July 7-11, 2009.
  • “Logical interpolation properties,” invited talk at the 12th Annual Conference on Ordered Algebraic Structures, held in Bowling Green, Ohio, June 15-18, 2009.
  • “Lattice-ordered groups in logic,” plenary talk at the international conference Logic, Algebra and Truth Degrees, held in Siena, Italy, September 8-11, 2008.
  • “Ordered groups in logic” plenary talk at the international conference BLAST, held at the University of Denver, August 6-10, 2008.
  • “The Conrad program in order algebra,” plenary talk at the Conference on the Conrad Legacy, held at the University of Florida, May 5-8, 2008.
  • “Amalgamation and interpolation in order algebra,” plenary talk the international conference Residuated Structures: Algebra and Logic, held in Buenos Aires, Argentina, April 16-19, 2008.
  • “An overview of general algebra,” Colloquium talk, University of Buenos Aires, Argentina, September 24, 2007.
  • “Residuated structures: their algebra and logic,” plenary talk at the Annual Meeting of Argentinean Mathematical Union, held in Cordoba, Argentina, September 17-22, 2007.
  • “Algebraic methods in logic,” plenary talk at the 6th Panhellenic Logic Symposium, held at the University of Thessaly, Greece, July 5-8, 2007.
  • “An introduction to residuated structures,”  two invited tutorials at the International Symposium on Ordered Structures in Many-Valued Logic, held in Massa Lubrense, Italy, May 29-June 1, 2006.
  • “Lattice-ordered groups, many valued logics and substructural logics,” invited talk at the conference entitled The Frames and Spaces of Ordered Algebraic Structures, held at the University of Florida, March 9-11, 2006.
  • “The algebra and logic of residuated algebras: a unified approach,” plenary talk at the Florence-Vienna Workshop in Logic and Computation, held at the University of Florence, Italy, November 2-5, 2005.
  • “Consequence Relations: An Order-Theoretic and Categorical Perspective,” contributed talk at the Conference on Algebraic and Topological Methods in Non-Classical Logics II, held in Barcelona, Spain, June 15-18, 2005.
  • “Logical consequence Relations,” Colloquium talk, University of Athens, Greece, June 3, 2005.
  • “A Holland-type embedding theorem for distributive residuated lattices,” Logic seminar talk, University of Siena, Italy, May 25, 2005.
  • “An abstract approach to consequence relation,” Colloquium talk, University of Florence, Italy, May 18, 2005.
  • “A general approach to the study of consequence relations,” Colloquium talk, University of Salerno, Italy, May 6, 2005.
  • “Consequence relations,” three seminar talks, University of Siena, Italy, May 4, 11, 13, 2005.
  • “Minimal Varieties of Involutive Residuated Lattices,” special session invited talk at the Regional Meeting of the American Mathematical Society, Special Session in Universal Algebra and Lattice Theory, Vanderbilt University, October 2004.
  • “Semi-direct products of residuated lattices,” special session invited talk at the Annual Meeting of the Association for Symbolic Logic, Special Session on Algebraic Logic and Universal Algebra, held at the University of Illinois at Chicago, June 1-4, 2003.
  • “An Overview of Universal Algebra and Algebraic Logic,” colloquium talk, University of Cyprus, June 9, 2004.
  • “Residuated Lattices: an Algebraic Perpective,” plenary talk at the Conference on Residuated Structures and Multi-valued Logic, University of Patras, Greece, June 2 – 5, 2004.
  • “Involutive Residuated Lattices,” colloquium talk, Japan Advanced Institute of Science and Technology, February 19, 2004.
  • “Semidirect Products of Residuated Lattices,” special session invited talk at the Annual Meeting of the Association for Symbolic Logic, Special Session on Algebraic Logic and Universal Algebra, held at the University of Illinois at Chicago, June 1 – 4, 2003.
  • “Generalized MV-algebras,” invited talk at the Workshop on Algebra and Substructural Logics, Japan Advanced Institute of Science and Technology, November 12 – 14, 2002.

Back Home   

Contact Information

Constantine Tsinakis
Professor of Mathematics

Office: Stevenson Center 1406
Phone: 615-343-5629
Fax: 615-343-8702
Email

Key Links