George Metcalfe

Enrico Marchioni, George Metcalfe: Craig interpolation for semilinear substructural logics. Math. Log. Q. 58(6): 468-481 (2012)

George Metcalfe, Christoph Röthlisberger: Admissibility in De Morgan algebras. Soft Comput. 16(11): 1875-1882 (2012)

George Metcalfe, Christoph Röthlisberger: Unifiability and Admissibility in Finite Algebras. CiE 2012: 485-495

George Metcalfe: Admissible Rules: From Characterizations to Applications. WoLLIC 2012: 56-69

George Metcalfe, Nicola Olivetti: Towards a Proof Theory of Gödel Modal Logics. Logical Methods in Computer Science 7(2) (2011)

Petr Cintula, George Metcalfe, Carles Noguera: Special Issue on Mathematical Fuzzy Logic. J. Log. Comput. 21(5): 715-716 (2011)

Kai Brünnler, George Metcalfe (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Lecture Notes in Computer Science 6793, Springer 2011, isbn 978-3-642-22118-7

Petr Cintula, George Metcalfe: Admissible rules in the implication-negation fragment of intuitionistic logic. Ann. Pure Appl. Logic 162(2): 162-171 (2010)

Agata Ciabattoni, George Metcalfe, Franco Montagna: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets and Systems 161(3): 369-389 (2010)

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

George Metcalfe, Constantine Tsinakis: Order, Algebra and Logics. J. Log. Comput. 20(4): 759-760 (2010)

Enrico Marchioni, George Metcalfe: Interpolation Properties for Uninorm Based Logics. ISMVL 2010: 205-210

Rosalie Iemhoff, George Metcalfe: Proof theory for admissible rules. Ann. Pure Appl. Logic 159(1-2): 171-186 (2009)

Matthias Baaz, George Metcalfe: Fuzzy Logic Corner. J. Log. Comput. 19(2): 343 (2009)

Petr Cintula, George Metcalfe: Structural Completeness in Fuzzy Logics. Notre Dame Journal of Formal Logic 50(2): 153-182 (2009)

Christian G. Fermüller, George Metcalfe: Giles's Game and the Proof Theory of Lukasiewicz Logic. Studia Logica 92(1): 27-61 (2009)

Rosalie Iemhoff, George Metcalfe: Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. LFCS 2009: 230-245

George Metcalfe, Nicola Olivetti: Proof Systems for a Gödel Modal Logic. TABLEAUX 2009: 265-279

Agata Ciabattoni, George Metcalfe: Density elimination. Theor. Comput. Sci. 403(2-3): 328-346 (2008)

Matthias Baaz, George Metcalfe: Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. CiE 2008: 22-31

Petr Cintula, George Metcalfe: Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Log. 46(5-6): 347-363 (2007)

Dov M. Gabbay, George Metcalfe: Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. 46(5-6): 425-449 (2007)

George Metcalfe, Franco Montagna: Substructural fuzzy logics. J. Symb. Log. 72(3): 834-864 (2007)

Agata Ciabattoni, George Metcalfe: Density Elimination and Rational Completeness for First-Order Logics. LFCS 2007: 132-146

Matthias Baaz, George Metcalfe: Proof Theory for First Order Lukasiewicz Logic. TABLEAUX 2007: 28-42

George Metcalfe: Proof Theory for Casari's Comparative Logics. J. Log. Comput. 16(4): 405-422 (2006)

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Lukasiewicz Logic: From Proof Systems To Logic Programming. Logic Journal of the IGPL 13(5): 561-585 (2005)

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and hypersequent calculi for abelian and łukasiewicz logics. ACM Trans. Comput. Log. 6(3): 578-613 (2005)

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

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004)

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99

Agata Ciabattoni, Christian G. Fermüller, George Metcalfe: Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR 2004: 496-510

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426

Agata Ciabattoni, George Metcalfe: Bounded Lukasiewicz Logics. TABLEAUX 2003: 32-47

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX 2002: 191-205

George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics. CoRR cs.LO/0211021 (2002)