A. Colacito, G. Metcalfe, **Proof theory and ordered groups, **International Workshop on Logic, Language, Information, and Computation (WoLLIC 2017), Accepted

A. Colacito, D. de Jongh, A. L. Vargas, **Subminimal negation**, Soft Computing Journal, Special Issue In memoriam Franco Montagna, January 2017

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