| Proof theory for fuzzy logics G Metcalfe, N Olivetti, DM Gabbay Springer Science & Business Media, 2008 | 314 | 2008 |
| Substructural fuzzy logics G Metcalfe, F Montagna The Journal of Symbolic Logic 72 (3), 834-864, 2007 | 271 | 2007 |
| Sequent and hypersequent calculi for abelian and Lukasiewicz logics G Metcalfe, N Olivetti, D Gabbay ACM Transactions on Computational Logic 6 (3), 578-613, 2005 | 112 | 2005 |
| Fuzzy logics based on [0, 1)-continuous uninorms D Gabbay, G Metcalfe Archive for Mathematical logic 46 (5), 425-449, 2007 | 111 | 2007 |
| Amalgamation and interpolation in ordered algebras G Metcalfe, F Montagna, C Tsinakis Journal of Algebra 402, 21-82, 2014 | 91 | 2014 |
| Proof theory for admissible rules R Iemhoff, G Metcalfe Annals of Pure and Applied Logic 159 (1-2), 171-186, 2009 | 86 | 2009 |
| Uniform rules and dialogue games for fuzzy logics A Ciabattoni, CG Fermüller, G Metcalfe International Conference on Logic for Programming Artificial Intelligence …, 2005 | 71 | 2005 |
| A finite model property for Gödel modal logics X Caicedo, G Metcalfe, R Rodríguez, J Rogger International Workshop on Logic, Language, Information, and Computation, 226-237, 2013 | 69 | 2013 |
| Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions A Ciabattoni, G Metcalfe, F Montagna Fuzzy Sets and Systems 161 (3), 369-389, 2010 | 69 | 2010 |
| Admissible rules in the implication–negation fragment of intuitionistic logic P Cintula, G Metcalfe Annals of Pure and Applied Logic 162 (2), 162-171, 2010 | 64 | 2010 |
| Giles’s game and the proof theory of Łukasiewicz logic CG Fermüller, G Metcalfe Studia Logica 92 (1), 27-61, 2009 | 56 | 2009 |
| Structural completeness in fuzzy logics P Cintula, G Metcalfe | 55 | 2009 |
| Towards a Proof Theory of Gödel Modal Logics G Metcalfe, N Olivetti Logical Methods in Computer Science 9 (2), 2011 | 53 | 2011 |
| Decidability of order-based modal logics X Caicedo, G Metcalfe, R Rodríguez, J Rogger Journal of Computer and System Sciences 88, 53-74, 2017 | 50 | 2017 |
| Herbrand's theorem, skolemization and proof systems for first-order Łukasiewicz logic M Baaz, G Metcalfe Journal of Logic and Computation 20 (1), 35-54, 2010 | 42 | 2010 |
| Analytic calculi for product logics G Metcalfe, N Olivetti, D Gabbay Archive for Mathematical Logic 43 (7), 859-889, 2004 | 42 | 2004 |
| Ordered algebras and logic G Metcalfe, F Paoli, C Tsinakis Uncertainty and rationality 10, 1-85, 2010 | 41 | 2010 |
| Proof systems for a Gödel modal logic G Metcalfe, N Olivetti International Conference on Automated Reasoning with Analytic Tableaux and …, 2009 | 41 | 2009 |
| Density elimination A Ciabattoni, G Metcalfe Theoretical Computer Science 403 (2-3), 328-346, 2008 | 41 | 2008 |
| Uniform interpolation and compact congruences SJ Van Gool, G Metcalfe, C Tsinakis Annals of Pure and Applied Logic 168 (10), 1927-1948, 2017 | 40 | 2017 |
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
