| Proof theory for fuzzy logics G Metcalfe, N Olivetti, DM Gabbay Springer Science & Business Media, 2008 | 289 | 2008 |
| Substructural fuzzy logics G Metcalfe, F Montagna The Journal of Symbolic Logic 72 (3), 834-864, 2007 | 237 | 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 | 102 | 2005 |
| Fuzzy logics based on [0, 1)-continuous uninorms D Gabbay, G Metcalfe Archive for Mathematical logic 46 (5), 425-449, 2007 | 99 | 2007 |
| Proof theory for admissible rules R Iemhoff, G Metcalfe Annals of Pure and Applied Logic 159 (1-2), 171-186, 2009 | 84 | 2009 |
| Amalgamation and interpolation in ordered algebras G Metcalfe, F Montagna, C Tsinakis Journal of Algebra 402, 21-82, 2014 | 74 | 2014 |
| Uniform rules and dialogue games for fuzzy logics A Ciabattoni, CG Fermüller, G Metcalfe Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005 | 68 | 2005 |
| 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 | 65 | 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 | 61 | 2013 |
| 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 | 61 | 2010 |
| Giles’s game and the proof theory of Łukasiewicz logic CG Fermüller, G Metcalfe Studia Logica 92, 27-61, 2009 | 53 | 2009 |
| Structural completeness in fuzzy logics P Cintula, G Metcalfe | 51 | 2009 |
| Towards a Proof Theory of Gödel Modal Logics G Metcalfe, N Olivetti Logical Methods in Computer Science 9 (2), 2011 | 49 | 2011 |
| Analytic calculi for product logics G Metcalfe, N Olivetti, D Gabbay Archive for Mathematical Logic 43, 859-889, 2004 | 41 | 2004 |
| Density elimination A Ciabattoni, G Metcalfe Theoretical Computer Science 403 (2-3), 328-346, 2008 | 40 | 2008 |
| Adding modalities to MTL and its extensions A Ciabattoni, G Metcalfe, F Montagna Proceedings of the Linz Symposium 2005, 2005 | 39* | 2005 |
| 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 | 37 | 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 | 36 | 2010 |
| Ordered algebras and logic G Metcalfe, F Paoli, C Tsinakis Uncertainty and rationality 10, 1-85, 2010 | 36 | 2010 |
| Proof systems for a Gödel modal logic G Metcalfe, N Olivetti International Conference on Automated Reasoning with Analytic Tableaux and …, 2009 | 36 | 2009 |
Dov GabbayBar Ilan Univ. Kings College London, Univ of Luxembourg在 ext.uni.lu 的电子邮件经过验证
