George Metcalfe

Cited by

	All	Since 2019
Citations	2312	838
h-index	26	16
i10-index	53	28

200

100

150

20042005200620072008200920102011201220132014201520162017201820192020202120222023202415 27 31 76 80 76 84 95 134 91 115 182 176 108 144 133 114 125 152 158 153

Public access

View all

40 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Petr CintulaInstitute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Ricardo Oscar RodriguezDepartamento de Computacion Facultad de Ciencias Exactas y Naturales Universidad de Buenos AiresVerified email at dc.uba.ar
Leonardo Manuel CabrerInstitute of Computer Languages - Technische Universität WienVerified email at logic.at
Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyVerified email at logic.at
Denisa DiaconescuUniversity of Bucharest, Faculty of Mathematics and Computer ScienceVerified email at fmi.unibuc.ro
Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
Wesley FussnerResearcher, Institute of Computer Science of the Czech Academy of SciencesVerified email at cs.cas.cz
Luca ReggioDepartment of Computer Science, University College LondonVerified email at ucl.ac.uk
Franco Montagna(1948 - 2015) Università degli studi di Siena
Tomasz Stanisław KowalskiJagiellonian UniversityVerified email at uj.edu.pl

George Metcalfe

Professor of Mathematics, University of Bern

Verified email at unibe.ch - Homepage

Proof Theory Universal Algebra Non-Classical Logic Algebraic Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Proof theory for fuzzy logics G Metcalfe, N Olivetti, DM Gabbay Springer Science & Business Media, 2008	291	2008
Substructural fuzzy logics G Metcalfe, F Montagna The Journal of Symbolic Logic 72 (3), 834-864, 2007	245	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	104	2005
Fuzzy logics based on [0, 1)-continuous uninorms D Gabbay, G Metcalfe Archive for Mathematical logic 46 (5), 425-449, 2007	100	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	79	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	69	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	52	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	38	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	37	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors