A. Colacito, G. Metcalfe. Ordering groups and validity in lattice-ordered groups. Submitted.
A. Colacito, G. Metcalfe. Proof theory and ordered groups. Proceedings of WoLLIC 2017, LNCS 10388, pp. 80-91, Springer, 2017.
A. Colacito, D. de Jongh, A. L. Vargas. Subminimal negation. Soft Computing 21.1:165-174, Special Issue In Memoriam Franco Montagna, 2017.
A. Colacito. Minimal and Subminimal Logic of Negation. ILLC Publications, Master of Logic Thesis (MoL) Series MoL-2016-14, Universiteit van Amsterdam, 2016.
Ordering Groups and Validity in Lattice-Ordered Groups, SYSMICS Workshop on Geometry and Non-Classical Logics, Fisciano, September 5-8, 2017
An Ordering Condition for Groups, Topology, Algebra, and Categories in Logic TACL, Prague, June 26-30, 2017
Ordered Groups and Proof Theory, Algebra and Coalgebra meet Proof Theory ALCOP VIII, Glasgow, April 10-12, 2017
Right Orders on Free Groups and the Word Problem for Free Lattice-Ordered Groups, 93rd Workshop on General Algebra AAA93, Bern, February 10-12, 2017
Ordering Theorems and Validity of Equations, La Trobe University, Melbourne, February 1, 2017
A Sequent Calculus for Minimal and Subminimal Logic of Negation, Syntax Meets Semantics SYSMICS 2016, Universitat de Barcelona, Barcelona, September 5-9, 2016
Generalized Heyting Algebras with a Unary Operator, International Workshop on Topological Methods in Logic V, Ilia State University, Tbilisi, June 13-17, 2016
Subminimal Logics of Negation: a Sequent Calculus System, Workshop on Non-Classical Logic, Mathematical Institute, Universität Bern, Bern, March 24, 2016
Subminimal Logics of Negation, Algebra|Coalgebra Seminar, ILLC, Universiteit van Amsterdam, Amsterdam, March 9, 2016