Universal Algebra, Ordered Algebraic
Structres and Algebraic Logic.
1. Residuated Lattices: an algebraic glimpse at substructural logics, with P. Jipsen, T. Kowalski and H. Ono, Studies in Logics and the Foundations of Mathematics, Elsevier, pp. 509+ (2007). (web site)
· Densification via polynomial extensions, with R. Horcik, submitted.
· Algebraic proof theory for substructural logics: hypersequents, with A. Ciabattoni and K. Terui, submitted.
· Decidability of lattice equations, submitted.
· Distributive residuated frames and generalized bunched implication algebras, with P. Jipsen, submitted.
· The FEP for some varieties of fully-distributive knotted residuated lattices, with R. Cardona, submitted.
· Canonical formulas for k-potent commutative intergral residuated lattices, with N. Bezhanishvili and L. Spada, submitted.
Non-refereed conference proceedings.
Involutive commutative distributive residuated lattices, proceedings of the 37th Mathematical Logic Group Meeting, Shizuoka, 2003.
Extensions of Glivenko's theorem to non-commutative substructural logics, proceedings of the 39th Mathematical Logic Group Meeting, Gamagori, 2005.
Varieties of residuated lattices, Ph.D. thesis, Department of Mathematics, Vanderbilt Universisty, 2003. (pdf)
Selected topics on residuated lattices, Qualifying paper, Department of Mathematics, Vanderbilt University, 2000. (pdf)
From here to infinity: a foundation for Calculus, with J. Staples et al., Tomson Learning Custom Publishing, 2001.
The FEP for some noncommutative varieties of fully distributive residuated lattices, TACL 2015, Ischia, Italy, June 2015.
Densification via polynomials (invited talk), Shanks workshop in ordered algebras and logic, March 2015.
From display logic to nested sequents via residuated frames (invited talk), Vienna Summer of Logic, GetFun, July 2014.
Embeddings into BiFL-algebras and conservativity, Vienna Summer of Logic, LATD, July 2014.
Proof theory for lattice-ordered groups (invited talk), Brazilian Logic Conference, Petropolis, Brazi, April 2014.
A survey of residuated frames with connections to semirings and to display logic, Prague seminar of substructural logics, March 2014.
The finite embeddability property for non-commutative knotted extension of RL, Colloquium talk at the Institute of CS, Czech Academy of Sciences, March 2014.
Developments on higher levels of the substructural hierarchy, BLAST, Chapman University, Orange, August 2013.
Cayley and Holland Theorems for Residuated Lattices, TACL, Nashville, July 2013.
Hyper-residuated frames (invited talk), ALCOP, Utrecht, Holland. April, 2013.
Distributive integral residuated lattices have the FEP (invited talk), Special Session on Algebras, Lattice and Varieties, AMS Sectional meeting, Boulder, April 2013.
The finite embeddability property for varieties of distributive, integral residuated lattices, Logic, Algebra and Truth Degrees, Kanazawa, Japan, September 2012.
Rediscovering Structural Proof Theory: an algebraic account (invited seminar talk), Multi-dimension seminar, Japan Advanced Institute of Science and Technology, September 2012.
A categorical equivalence of varieties and the Beth definability property, (invited talk), 15th Latin American Symposium on Mathematical Logic, Colombia, scheduled for June 2012.
Algebraic Logic: Algebraic Proof Theory, (invited tutorial),15th Latin American Symposium on Mathematical Logic, Colombia, scheduled for June 2012.
Modules over quantaloids and the isomorphism problem in abstract algebraic logic (invited talk), Symposium on Fuzzy Mathematics, Kent State University and Youngstown State University, Ohio, October 2011.
Residuated lattices in algebra and logic (invited colloquium talk), Colloquium, Department of Mathematical Sciences, Kent State University, Ohio, October 2011.
Relativizing the substructural hierarchy (invited plenary talk), Topology, Algebra and Categories in Logic, Marseilles, France, July 2011.
Interpolation and Amalgamation for Substructural Logics and Residuated Lattices, 8th Panhellenic Logic Symposium, Ioannina, Greece, July 2011.
Beth definability for relevance logic with mingle (invited plenary talk), Second International Conference on Order, Algebra, and Logics: honoring R. McKenzie, H. Ono, and A. Wroński, Krakow, Poland, June 2011.
Holland-Type Embeddings for Residuated Lattices (invited talk), Algebra and Proof Theory amplified by Frames and Category Theory, Vanderbilt University, Nashville, March 2011.
Remarks on l-groups and abelian l-groups: preliminary report (invited talk), l-Groups and MV-Algebras: Interaction and Impact on Algebras of Logic, Buenos Aires, Argentina, October 2010.
Tutorial on Algebraic Proof Theory (week-long invited tutorial), University of Milan, Italy, July 2010.
Dedekind-MacNeille completions of residuated lattices, BLAST 2010 conference on Algebraic Logic, Set Theory and Universal Algebra, University of Colorado, Boulder, June 2010.
The Isomorphism Problem for modules over quantaloids, World Congress and School on Universal Logic III, Lisbon, Portugal, April 2010.
Residuated lattices with applications to logic, 31st Linz Seminar on Fuzzy Set Theory. (Topic: Lattice-Based Logic and its Applications.) Linz, Austria, February 2010.
Applications of residuated frames to algebra and logic, BLAST 2009 conference on Algebraic Logic, Set Theory and Universal Algebra, New Mexico State University, Las CrucesAugust 2009.
Algebraic Proof Theory (invited plenary talk), 7th Panhellenic Logic Symposium, Patras, Greece, July 2009.
Cut elimination for distributive substructural logics, Topology, Algebra and Categories in Logic, Amsterdam, July 2009.
Non-associative residuated lattices, 2nd Mile Hight Conference on Nonassociative Mathematics, University of Denver, June 2009.
An N2-variety of residuated lattices that is not closed under completions (invited talk), and 12th Annual ORD/OAL, Bowling Green State University, June 2009.
MV-algebras and l-groups as residuated lattices (invited week-long series of lectures), Workshop on lattice-ordered groups and MV-algebras, Bowling Green State University, June 2009.
Skew Relation Algebras (invited talk), Ordered Groups in Logic, Vanderbilt University, March 2009.
Generalized ordinal sums and translations (selected 40-min talk), Logic, Algebra and Truth Degrees, Siena, Italy, September 2008.
Residuated Lattices – a tutorial (invited 3-hour tutorial), Summer school on General Algebra and Ordered Sets, Trest, Czech Republic, September 2008.
The finite embeddability property for subvarieties of integral residuated lattices, BLAST 2008 conference on Algebraic Logic, Set Theory and Universal Algebra, University of Denver, August 2008.
On the substructural hierarchy (invited plenary talk), International Conference on Residuated Structures: Algebra and Logic, Buenos Aires, Argentina, April 2008.
Axiomatizations for intersections of substructural logics (invited 50-min talk), Shanks workshop on Proof Theory and Algebra, Vanderbilt University, March 2008.
Structural rules in FL: expressive power and cut elimination, Algebraic and Topological Methods in Non-classical Logics III, University of Oxford, UK, August 2007.
The variety of involutive residuated lattices is generated by its finite members (invited plenary talk), International conference on Order, Algebra and Logics, Vanderbilt University, USA, June 2007.
Algebraic cut elimination (invited seminar talk), Logic Summer School, Australian National University, Canberra, Australia, December 2006.
Residuated frames (invited talk), Workshop on Algebra and Substructural Logics III, Krakow, Poland, November 2006.
Cut elimination for substructural logics from a semantical perspective, Colloquium talk, Vienna University of Technology, November 2006.
Semantics for substructural logics, Colloquium talk, University of Milan, Italy, October 2006.
Decidability for involutive residuated lattices, Colloquium talk, Univesity of Szeged, Hungary, October 2006.
Glivenko theorems for substructural logics, Logic Colloquium 2006, Association for Symbolic Logic European Summer Meeting, Nijmegen, Netherlands, scheduled for July 2006.
Lack of structural rules and algebraic semantics, Ordered structures in many-valued logics, Massa Lubrense, Sorrento, Italy, May 2006.
Algebraic methods in substructural logics, Logic Colloquium 2005, Association for Symbolic Logic European Summer Meeting, Athens, Greece, July 2005.
Equivalence of consequence relations: an order-theoretic and categorical perspective, Algebraic and topological methods in non-classical logics II, Barcelona, Spain, June 2005.
Non-associative residuated lattices, AMS sectional meeting, special session on Universal Algebra and Lattice Theory, Vanderbilt University, October 2004.
Translations in substructural logics, Logic Colloquium 2004, ASL European Summer Meeting, Torino, Italy, July 2004.
Non-associative substructural logics: algebraization, cut elimination and separation, Conference on Residuated Structures and Many-Valued Logics, Patras University, Greece, June 2004.
Residuated lattices – an introduction, Department of Mathematics, Aristotle University of Thessaloniki, Greece, May 2004.
Involutive commutative distributive residuated lattices, 37th Mathematical Logic Group Meeting, Shizuoka, Japan, December 2003.
The join of finitely many varieties of residuated lattices (invited talk), Annual Meeting of the Association for Symbolic Logic, special session on Algebraic Logic and Universal Algebra, University of Illinois at Chicago, June 2003.
Decision problems for commutative distributive residuated lattices, Colloquium talk, University of Saskatoon, Canada, May 2003.
Generalized MV-algebras, Conference on Ordered Algebraic Structures, Vanderbilt University, March 2003.
A Priestley duality for bounded distributive residuated lattices, Annual meeting of the American Mathematical Society, special session on The Many Lives of Lattice Theory and the Theory of Ordered Sets, with Connections to Combinatorics, Baltimore, January 2003.
A categorical equivalence for integral GMV-algebras, Workshop on Algebra and Substructural Logics, Japan Advanced Institute of Science and Technology, November 2002.
Integral generalized MV-algebras, Algebra Seminar, Vanderbilt University, October 2002.
Some atomic varieties of residuated lattices, Algebra Seminar, Vanderbilt University, September 2002.
Continuum many idempotent minimal residuated-lattice varieties, International Conference on Modern Algebra in conjunction with the 17th annual Shanks Lectures, Vanderbilt University, May 2002.
Member of the Editorial Board for the journal Soft Computing.
Referee for the journals
Master’s and Ph.D. committees
· Ph.D. committee supervisor of Riquelmi Cardona, University of Denver, 2015.
· Examiner of the Ph.D. thesis of Karel Chvalovsky, Charles University, 2015.
· Ph.D. committee member for Wilmari Morton, University of Johannesburg, 2012.
· Ph.D. committee member for Jenya Kirstein, University of Denver, 2012.
· Ph.D. committee member for Topaz Dent, UC Boulder, 2011.
· Ph.D. committee member for Jose Jil-Ferez, University of Barcelona, 2009.
· Examiner of the Ph.D. thesis of Ai-ni Hsieh, University of Natal, South Africa, 2009.
· Ph.D. committee member for Dan Daly, University of Denver, 2009.
· Ph.D. committee member for Aditya Nagrath, University of Denver, 2008.
· Examiner of the Master’s thesis of Ai-ni Hsieh, University of Natal, South Africa, 2005.