| 2024 | AiML | Towards an Algebraic Theory of KD45-Like Logics. | Line van den Berg, Manuela Busaniche, Miguel Andrs Marcos, George Metcalfe |
| 2022 | AiML | Algebraic Semantics for One-Variable Lattice-Valued Logics. | George Metcalfe, Naomi Tokuda, Petr Cintula |
| 2020 | AiML | A Monadic Logic of Ordered Abelian Groups. | George Metcalfe, Olim Frits Tuyt |
| 2019 | WoLLIC | The One-Variable Fragment of Corsi Logic. | Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodrguez, Olim Frits Tuyt |
| 2018 | AiML | Coherence in Modal Logic. | Tomasz Kowalski, George Metcalfe |
| 2017 | WoLLIC | Proof Theory and Ordered Groups. | Almudena Colacito, George Metcalfe |
| 2016 | AiML | Axiomatizing a Real-Valued Modal Logic. | Denisa Diaconescu, George Metcalfe, Laura Schnriger |
| 2015 | LPAR | Skolemization for Substructural Logics. | Petr Cintula, Denisa Diaconescu, George Metcalfe |
| 2014 | AiML | A Hennessy-Milner Property for Many-Valued Modal Logics. | Michel Marti, George Metcalfe |
| 2013 | LPAR | Herbrand Theorems for Substructural Logics. | Petr Cintula, George Metcalfe |
| 2013 | WoLLIC | A Finite Model Property for Gdel Modal Logics. | Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodrguez, Jonas Rogger |
| 2012 | CiE | Unifiability and Admissibility in Finite Algebras. | George Metcalfe, Christoph Rthlisberger |
| 2012 | WoLLIC | Admissible Rules: From Characterizations to Applications. | George Metcalfe |
| 2010 | LPAR | Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. | Petr Cintula, George Metcalfe |
| 2009 | LFCS | Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. | Rosalie Iemhoff, George Metcalfe |
| 2009 | TABLEAUX | Proof Systems for a Gdel Modal Logic. | George Metcalfe, Nicola Olivetti |
| 2008 | CiE | Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. | Matthias Baaz, George Metcalfe |
| 2007 | LFCS | Density Elimination and Rational Completeness for First-Order Logics. | Agata Ciabattoni, George Metcalfe |
| 2007 | TABLEAUX | Proof Theory for First Order Lukasiewicz Logic. | Matthias Baaz, George Metcalfe |
| 2004 | CSL | Goal-Directed Methods for Lukasiewicz Logic. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2004 | LPAR | Uniform Rules and Dialogue Games for Fuzzy Logics. | Agata Ciabattoni, Christian G. Fermller, George Metcalfe |
| 2003 | CSL | Goal-Directed Calculli for Gdel-Dummett Logics. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2003 | TABLEAUX | Bounded Lukasiewicz Logics. | Agata Ciabattoni, George Metcalfe |
| 2002 | TABLEAUX | Analytic Sequent Calculi for Abelian and ukasiewicz Logics. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |