Get a site

Publications

20 September 2017

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

Conferences | Talks

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