George Metcalfe

Identifiers

• name variant George Metcalfe 0.60 · backfill

Papers (7)

1. Coherence in Modal Logic math.LO · 2019 · author #2
2. Ordering groups and validity in lattice-ordered groups math.LO · 2018 · author #2
3. Uniform interpolation and coherence math.LO · 2018 · author #2
4. Checking Admissibility Using Natural Dualities math.LO · 2018 · author #3
5. Proof Theory and Ordered Groups math.LO · 2017 · author #2
6. Admissibility via Natural Dualities math.LO · 2015 · author #2
7. Exact Unification math.LO · 2014 · author #2

Mentions

• 1501.06141 #2 · backfill · confidence 0.70 George Metcalfe
• 1410.5583 #2 · backfill · confidence 0.70 George Metcalfe

Frequent Coauthors

• Almudena Colacito 2 shared papers
• Tomasz Kowalski 2 shared papers
• Benjamin Freisberg 1 shared papers
• Hilary A. Priestley 1 shared papers
• Leonardo Cabrer 1 shared papers
• Leonardo Manuel Cabrer 1 shared papers
• Leonardo M. Cabrer 1 shared papers