| Proof theory for fuzzy logics G Metcalfe, N Olivetti, DM Gabbay Springer Science & Business Media, 2008 | 278 | 2008 |
| Substructural fuzzy logics G Metcalfe, F Montagna The Journal of Symbolic Logic 72 (3), 834-864, 2007 | 215 | 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 | 97 | 2005 |
| Fuzzy logics based on [0, 1)-continuous uninorms D Gabbay, G Metcalfe Archive for Mathematical logic 46 (5-6), 425-449, 2007 | 93 | 2007 |
| Proof theory for admissible rules R Iemhoff, G Metcalfe Annals of Pure and Applied Logic 159 (1-2), 171-186, 2009 | 82 | 2009 |
| Uniform rules and dialogue games for fuzzy logics A Ciabattoni, CG Fermüller, G Metcalfe Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005 | 67 | 2005 |
| Amalgamation and interpolation in ordered algebras G Metcalfe, F Montagna, C Tsinakis Journal of Algebra 402, 21-82, 2014 | 64 | 2014 |
| 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 | 61 | 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 | 56 | 2010 |
| A finite model property for Gödel modal logics X Caicedo, G Metcalfe, R Rodríguez, J Rogger Logic, Language, Information, and Computation: 20th International Workshop …, 2013 | 52 | 2013 |
| Giles’s game and the proof theory of Łukasiewicz logic CG Fermüller, G Metcalfe Studia Logica 92, 27-61, 2009 | 50 | 2009 |
| Towards a Proof Theory of Gödel Modal Logics G Metcalfe, N Olivetti Logical Methods in Computer Science 9 (2), 2011 | 44 | 2011 |
| Structural completeness in fuzzy logics P Cintula, G Metcalfe | 42 | 2009 |
| Density elimination A Ciabattoni, G Metcalfe Theoretical Computer Science 403 (2-3), 328-346, 2008 | 40 | 2008 |
| Analytic calculi for product logics G Metcalfe, N Olivetti, D Gabbay Archive for Mathematical Logic 43, 859-889, 2004 | 40 | 2004 |
| Ordered algebras and logic G Metcalfe, F Paoli, C Tsinakis Uncertainty and rationality 10, 1-85, 2010 | 36 | 2010 |
| 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 | 34 | 2010 |
| Proof systems for a Gödel modal logic G Metcalfe, N Olivetti Automated Reasoning with Analytic Tableaux and Related Methods: 18th …, 2009 | 30 | 2009 |
| Decidability of order-based modal logics X Caicedo, G Metcalfe, R Rodriguez, J Rogger Journal of Computer and System Sciences 88, 53-74, 2017 | 29 | 2017 |
| Adding modalities to MTL and its extensions A Ciabattoni, G Metcalfe, F Montagna Proceedings of the Linz Symposium 2005, 2005 | 27 | 2005 |
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
