Analytic Sequent Calculi for Abelian and ukasiewicz Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (TABLEAUX, 2002)

Goal-Directed Calculli for Gödel-Dummett Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (CSL, 2003)

Bounded Lukasiewicz Logics. - Agata Ciabattoni; George Metcalfe (TABLEAUX, 2003)

Goal-Directed Methods for Lukasiewicz Logic. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (CSL, 2004)

Uniform Rules and Dialogue Games for Fuzzy Logics. - Agata Ciabattoni; Christian G. Fermüller; George Metcalfe (LPAR, 2004)

Analytic Calculi for Product Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (Arch. Math. Log., 2004)

Goal-Directed Methods for Fuzzy Logics. - George Metcalfe; Nicola Olivetti (We Will Show Them! (2), 2005)

Lukasiewicz Logic: From Proof Systems To Logic Programming. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (Log. J. IGPL, 2005)

Sequent and hypersequent calculi for abelian and Łukasiewicz logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (ACM Trans. Comput. Log., 2005)

Proof Theory for Casari's Comparative Logics. - George Metcalfe (J. Log. Comput., 2006)

Density Elimination and Rational Completeness for First-Order Logics. - Agata Ciabattoni; George Metcalfe (LFCS, 2007)

Proof Theory for First Order Lukasiewicz Logic. - Matthias Baaz; George Metcalfe (TABLEAUX, 2007)

Normal forms for fuzzy logics: a proof-theoretic approach. - Petr Cintula; George Metcalfe (Arch. Math. Log., 2007)

Fuzzy logics based on [0, 1)-continuous uninorms. - Dov M. Gabbay; George Metcalfe (Arch. Math. Log., 2007)

Substructural fuzzy logics. - George Metcalfe; Franco Montagna (J. Symb. Log., 2007)

Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. - Matthias Baaz; George Metcalfe (CiE, 2008)

Density elimination. - Agata Ciabattoni; George Metcalfe (Theor. Comput. Sci., 2008)

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. - Rosalie Iemhoff; George Metcalfe (LFCS, 2009)

Proof Systems for a Gödel Modal Logic. - George Metcalfe; Nicola Olivetti (TABLEAUX, 2009)

Proof theory for admissible rules. - Rosalie Iemhoff; George Metcalfe (Ann. Pure Appl. Log., 2009)

Fuzzy Logic Corner. - Matthias Baaz; George Metcalfe (J. Log. Comput., 2009)

Structural Completeness in Fuzzy Logics. - Petr Cintula; George Metcalfe (Notre Dame J. Formal Log., 2009)

Giles's Game and the Proof Theory of Lukasiewicz Logic. - Christian G. Fermüller; George Metcalfe (Stud Logica, 2009)

Interpolation Properties for Uninorm Based Logics. - Enrico Marchioni; George Metcalfe (ISMVL, 2010)

Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. - Petr Cintula; George Metcalfe (LPAR short papers(Yogyakarta), 2010)

Admissible rules in the implication-negation fragment of intuitionistic logic. - Petr Cintula; George Metcalfe (Ann. Pure Appl. Log., 2010)

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. - Agata Ciabattoni; George Metcalfe; Franco Montagna (Fuzzy Sets Syst., 2010)

Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic. - Matthias Baaz; George Metcalfe (J. Log. Comput., 2010)

Order, Algebra and Logics. - George Metcalfe; Constantine Tsinakis (J. Log. Comput., 2010)

Towards a Proof Theory of Gödel Modal Logics - George Metcalfe; Nicola Olivetti (Log. Methods Comput. Sci., 2011)

Special Issue on Mathematical Fuzzy Logic. - Petr Cintula; George Metcalfe; Carles Noguera (J. Log. Comput., 2011)

Unifiability and Admissibility in Finite Algebras. - George Metcalfe; Christoph Röthlisberger (CiE, 2012)

Admissible Rules: From Characterizations to Applications. - George Metcalfe (WoLLIC, 2012)

Craig interpolation for semilinear substructural logics. - Enrico Marchioni; George Metcalfe (Math. Log. Q., 2012)

Admissibility in De Morgan algebras. - George Metcalfe; Christoph Röthlisberger (Soft Comput., 2012)

Herbrand Theorems for Substructural Logics. - Petr Cintula; George Metcalfe (LPAR, 2013)

Proof theory for lattice-ordered groups. - George Metcalfe (TACL, 2013)

A Finite Model Property for Gödel Modal Logics. - Xavier Caicedo; George Metcalfe; Ricardo Oscar Rodríguez; Jonas Rogger (WoLLIC, 2013)

Admissibility in Finitely Generated Quasivarieties - George Metcalfe; Christoph Röthlisberger (Log. Methods Comput. Sci., 2013)

A Hennessy-Milner Property for Many-Valued Modal Logics. - Michel Marti; George Metcalfe (Advances in Modal Logic, 2014)

From Admissibility to a New Hierarchy of Unification Types. - Leonardo Manuel Cabrer; George Metcalfe (UNIF, 2014)

Skolemization for Substructural Logics. - Petr Cintula; Denisa Diaconescu; George Metcalfe (LPAR, 2015)

Exact Unification and Admissibility. - Leonardo Manuel Cabrer; George Metcalfe (Log. Methods Comput. Sci., 2015)

Axiomatizing a Real-Valued Modal Logic. - Denisa Diaconescu; George Metcalfe; Laura Schnüriger (Advances in Modal Logic, 2016)

Proof theory for lattice-ordered groups. - Nikolaos Galatos; George Metcalfe (Ann. Pure Appl. Log., 2016)

An Avron rule for fragments of R-mingle. - George Metcalfe (J. Log. Comput., 2016)

Special Issue on Admissible Rules and Unification. - Rosalie Iemhoff; George Metcalfe (Notre Dame J. Formal Log., 2016)

Proof Theory and Ordered Groups. - Almudena Colacito; George Metcalfe (WoLLIC, 2017)

Uniform interpolation and compact congruences. - Samuel J. van Gool; George Metcalfe; Constantine Tsinakis (Ann. Pure Appl. Log., 2017)

Decidability of order-based modal logics. - Xavier Caicedo; George Metcalfe; Ricardo Oscar Rodríguez; Jonas Rogger (J. Comput. Syst. Sci., 2017)

Density revisited. - George Metcalfe; Constantine Tsinakis (Soft Comput., 2017)

Coherence in Modal Logic. - Tomasz Kowalski; George Metcalfe (Advances in Modal Logic, 2018)

Expressivity in chain-based modal logics. - Michel Marti; George Metcalfe (Arch. Math. Log., 2018)

A Real-Valued Modal Logic. - Denisa Diaconescu; George Metcalfe; Laura Schnüriger (Log. Methods Comput. Sci., 2018)

The One-Variable Fragment of Corsi Logic. - Xavier Caicedo; George Metcalfe; Ricardo Oscar Rodríguez; Olim Frits Tuyt (WoLLIC, 2019)

Uniform interpolation and coherence. - Tomasz Kowalski; George Metcalfe (Ann. Pure Appl. Log., 2019)

Skolemization and Herbrand theorems for lattice-valued logics. - Petr Cintula; Denisa Diaconescu; George Metcalfe (Theor. Comput. Sci., 2019)

Checking Admissibility Using Natural Dualities. - Leonardo Manuel Cabrer; Benjamin Freisberg; George Metcalfe; Hilary A. Priestley (ACM Trans. Comput. Log., 2019)

A Monadic Logic of Ordered Abelian Groups. - George Metcalfe; Olim Frits Tuyt (AiML, 2020)

Integrally Closed Residuated Lattices. - José Gil-Férez; Frederik Möllerström Lauridsen; George Metcalfe (Stud Logica, 2020)

Time Warps, from Algebra to Algorithms. - Sam van Gool; Adrien Guatto; George Metcalfe; Simon Santschi (RAMiCS, 2021)

Algebraic Semantics for One-Variable Lattice-Valued Logics. - George Metcalfe; Naomi Tokuda; Petr Cintula (AiML, 2022)

One-variable fragments of intermediate logics over linear frames. - Xavier Caicedo; George Metcalfe; Ricardo Rodríguez; Olim Frits Tuyt (Inf. Comput., 2022)

Interpolation and the Exchange Rule. - Wesley Fussner; George Metcalfe; Simon Santschi (CoRR, 2023)

Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. - George Metcalfe; Luca Reggio (J. Symb. Log., 2023)

Towards an Algebraic Theory of KD45-Like Logics. - Line van den Berg; Manuela Busaniche; Miguel Andrés Marcos; George Metcalfe (AiML, 2024)

One-variable Fragments of First-order Logics. - Petr Cintula; George Metcalfe; Naomi Tokuda (Bull. Symb. Log., 2024)

Ordering groups and the Identity Problem. - Corentin Bodart; Laura Ciobanu; George Metcalfe (CoRR, 2024)

Deciding Equations in the Time Warp Algebra. - Sam van Gool; Adrien Guatto; George Metcalfe; Simon Santschi (Log. Methods Comput. Sci., 2024)