Publications

A. Colacito, G. Metcalfe, Proof theory and ordered groupsInternational 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