A. Colacito, G. Metcalfe, Proof theory and ordered groups, International Workshop on Logic, Language, Information, and Computation (WoLLIC 2017), Springer, Berlin, Heidelberg, 2017.
A. Colacito, D. de Jongh, A. L. Vargas, Subminimal negation, Soft Computing 21.1 (2017): 165-174. Special Issue In Memoriam Franco Montagna.
A. Colacito, Minimal and Subminimal Logic of Negation, ILLC Publications, Master of Logic Thesis (MoL) Series MoL-2016-14, Universiteit van Amsterdam, 2016
Conferences | Talks
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