Almudena Colacito

This is Almudena Colacito's website

20 September 2017

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