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