Almudena Colacito

Identifiers

No identifiers captured yet.

Papers (3)

1. Proof Theory for Positive Logic with Weak Negation math.LO · 2019 · author #2
2. Ordering groups and validity in lattice-ordered groups math.LO · 2018 · author #1
3. Proof Theory and Ordered Groups math.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• George Metcalfe 2 shared papers
• Marta B\'ilkov\'a 1 shared papers