Almudena Colacito

PhD Student in Mathematics

I am a PhD student at the University of Bern under the supervision of George Metcalfe. I started my PhD in September 2016.

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

I am a board member of the Swiss Graduate Society for Logic and Philosophy of Science.

For a detailed curriculum vitae, click here.

Upcoming

September 2019

XXI Congresso dell'Unione Matematica Italiana (UMI)

Publications

A. Colacito, N. Galatos, G. Metcalfe. Theorems of alternatives for substructural logics. Submitted 2019.

A. Colacito, V. Marra. Orders on groups, and spectral spaces of lattice-groups. Submitted 2019.
(arXiv Preprint)

M. Bílková, A. Colacito. Proof theory for positive logic with weak negation. Studia Logica. To appear.
(arXiv Preprint)

N. Bezhanishvili, A. Colacito, D. de Jongh. A study of subminimal logics of negation and their modal companions. 12th International Tbilisi Symposium on Logic, Language, and Computation. To appear.
(Preprint PP-2018-09)

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

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), 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

June 2019

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

Second Algebra Week

Siena, Italy
Abstract

July 2018

The Topological Space of Pre-Orders on Abelian Groups

International Workshop on Topological Methods in Logic VI

Tbilisi, Georgia
Abstract

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

Contributed Talks

June 2019

Orders on Groups: an Approach through Spectral Spaces

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

Nice, France
Abstract

January 2019

Universal Objects for Orders on Groups, and their Dual Spaces

SYSMICS 2019

Amsterdam, The Netherlands
Abstract

January 2019

Theorems of Alternatives: An Application to Densifiability

SYSMICS 2019

Amsterdam, The Netherlands
Abstract

August 2018

From -Groups to Residuated Lattices: Hamiltonian and Nilpotent Varieties

BLAST 2018

Denver, Colorado
Abstract

June 2018

Hamiltonian and Nilpotent Residuated Lattices

Algebra and Substructural Logics (AsubL Take 6)

Cagliari, Italy
Abstract

May 2018

Theorems of the Alternative in Substructural Logics

PhDs in Logic X

Prague, Czech Republic
Abstract

June 2017

An Ordering Condition for Groups

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

Prague, Czech Republic
Abstract

April 2017

Ordered Groups and Proof Theory

Algebra and Coalgebra meet Proof Theory (ALCOP VIII)

Glasgow, Scotland
Abstract

February 2017

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

93rd Workshop on General Algebra (AAA93)

Bern, Switzerland
Abstract

September 2016

A Sequent Calculus for Minimal and Subminimal Logic of Negation

SYSMICS Kick-Off Meeting

Barcelona, Spain

Local Seminar Talks

November 2018

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

Laboratoire J.A. Dieudonné, Université Nice Sophia Antipolis

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 - University of Amsterdam (ILLC)

Amsterdam, The Netherlands

Teaching Assistant

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)

Contact

Address
Alpeneggstrasse 22
3012 Bern
Switzerland
Email
almudena.colacito@math.unibe.ch