Almudena Colacito

I am an SNSF Early Postdoc.Mobility fellow at the Laboratoire J. A. Dieudonné (Université Côte d'Azur).
I am part of Mai Gehrke's research group.

I obtained my PhD in Mathematics at the University of Bern in July 2020, under the supervision of George Metcalfe. My PhD thesis is available here.

My research aims at a deeper understanding of those algebraic structures arising as algebras of substructural logic, viewed as mathematical objects in their own right.

For a detailed curriculum vitae, click here.


Please visit my current webpage at:


A. Colacito, C. Tsinakis. Nilpotency and the Hamiltonian property for cancellative residuated lattices. Submitted. (arXiv Preprint)

A. Colacito, N. Galatos, G. Metcalfe. Theorems of alternatives for substructural logics. To appear in a volume of Springer's series on Outstanding Contributions to Logic dedicated to Arnon Avron, 2020.
(arXiv Preprint)

A. Colacito, V. Marra. Orders on groups, and spectral spaces of lattice-groups. Algebra Universalis, 2020.
(DOI) (arXiv Preprint)

M. Bílková, A. Colacito. Proof theory for positive logic with weak negation. Studia Logica 108, pp. 649-686, 2020. (arXiv Preprint)

N. Bezhanishvili, A. Colacito, D. de Jongh. A study of subminimal logics of negation and their modal companions. In: A. Silva, S. Staton, P. Sutton, C. Umbach (eds), Language, Logic, and Computation, TbiLLC 2017, LNCS 11456, pp. 21-41, Springer, 2019. (arXiv Preprint)

A. Colacito, G. Metcalfe. Ordering groups and validity in lattice-ordered groups. Journal of Pure and Applied Algebra, 223(12), pp. 5163-5175, 2019. (arXiv Preprint)

A. Colacito, G. Metcalfe. Proof theory and ordered groups. In: J. Kennedy, R.J.G.B. de Queiroz (eds), Logic, Language, Information, and Computation (WoLLIC 2017), LNCS 10388, pp. 80-91, Springer, 2017. (arXiv Preprint)

A. Colacito, D. de Jongh, A. L. Vargas. Subminimal negation. Soft Computing, 21(1), pp. 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.

Invited Talks

March 2020

Nilpotence, Semilinearity and the Hamiltonian Property

Shanks Workshop on Ordered Algebras and Logic 2020

Nashville, Tennessee

November 2019

Semantic and Proof-Theoretic Aspects of Subminimal Negation

Dick de Jongh's 80th Birthday Workshop (ILLC)

Amsterdam, The Netherlands

June 2019

Orders on Groups, and Spectral Spaces of Lattice-Ordered Groups

Second Algebra Week

Siena, Italy

July 2018

The Topological Space of Pre-Orders on Abelian Groups

International Workshop on Topological Methods in Logic VI

Tbilisi, Georgia

September 2017

Ordering Groups and Validity in Lattice-Ordered Groups

SYSMICS Workshop on Geometry and Non-Classical Logics

Fisciano, Italy

June 2016

Generalized Heyting Algebras with a Unary Operator

International Workshop on Topological Methods in Logic V

Tbilisi, Georgia

Local Seminar Talks

December 2019

From Right Orders to Lattice-Ordered Groups, and Back

UAM/ICMAT Group Theory Seminar, Universidad Autónoma de Madrid

Madrid, Spain

November 2018

From Orders on Groups to Spectra of -Groups, and back

Laboratoire J.A. Dieudonné, Université Côte d'Azur

Nice, France

February 2017

Ordering Theorems and Validity of Equations

La Trobe University

Melbourne, Australia

March 2016

Subminimal Logics of Negation: a Sequent Calculus System

Workshop on Non-Classical Logic, University of Bern

Bern, Switzerland

March 2016

Subminimal Logics of Negation

Algebra-Coalgebra Seminar, ILLC University of Amsterdam

Amsterdam, The Netherlands

Contributed Talks

September 2019

Universal Objects for Orders on Groups: Towards a Correspondence Theory

XXI Congresso dell'Unione Matematica Italiana

Pavia, Italy
June 2019

Orders on Groups: an Approach through Spectral Spaces

Topology, Algebra, and Categories in Logic (TACL 2019)

Nice, France

January 2019

Universal Objects for Orders on Groups, and their Dual Spaces


Amsterdam, The Netherlands

January 2019

Theorems of Alternatives: An Application to Densifiability


Amsterdam, The Netherlands

August 2018

From -Groups to Residuated Lattices: Hamiltonian and Nilpotent Varieties

BLAST 2018

Denver, Colorado

June 2018

Hamiltonian and Nilpotent Residuated Lattices

Algebra and Substructural Logics (AsubL Take 6)

Cagliari, Italy

May 2018

Theorems of the Alternative in Substructural Logics

PhDs in Logic X

Prague, Czech Republic

June 2017

An Ordering Condition for Groups

Topology, Algebra, and Categories in Logic (TACL 2017)

Prague, Czech Republic

April 2017

Ordered Groups and Proof Theory

Algebra and Coalgebra meet Proof Theory (ALCOP VIII)

Glasgow, Scotland

February 2017

Right Orders on Free Groups and the Word Problem for Free L-Groups

93rd Workshop on General Algebra (AAA93)

Bern, Switzerland

September 2016

A Sequent Calculus for Minimal and Subminimal Logic of Negation

SYSMICS Kick-Off Meeting

Barcelona, Spain

Teaching Assistant

Spring 2020

Mathematische Logik und Modelltheorie

University of Bern

Fall 2019

Model Theory

University of Bern

Spring 2019

Set Theory

University of Bern

Fall 2018

Mathematik I für Naturwissenschaften

University of Bern

Spring 2018

Ordered Groups

University of Bern

Fall 2017

Mathematik I für Naturwissenschaften

University of Bern

Spring 2017

Mathematik II für Naturwissenschaften

University of Bern

Fall 2016

Universal Algebra

University of Bern

Spring 2016

Axiomatic Set Theory

University of Amsterdam (ILLC)


Laboratoire J. A. Dieudonné
Université Côte d’Azur
Parc Valrose
06108 NICE Cedex 02