Follow
George Metcalfe
George Metcalfe
Professor of Mathematics, University of Bern
Verified email at unibe.ch - Homepage
Title
Cited by
Cited by
Year
Proof theory for fuzzy logics
G Metcalfe, N Olivetti, DM Gabbay
Springer Science & Business Media, 2008
2852008
Substructural fuzzy logics
G Metcalfe, F Montagna
The Journal of Symbolic Logic 72 (3), 834-864, 2007
2312007
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
1012005
Fuzzy logics based on [0, 1)-continuous uninorms
D Gabbay, G Metcalfe
Archive for Mathematical logic 46 (5), 425-449, 2007
972007
Proof theory for admissible rules
R Iemhoff, G Metcalfe
Annals of Pure and Applied Logic 159 (1-2), 171-186, 2009
832009
Amalgamation and interpolation in ordered algebras
G Metcalfe, F Montagna, C Tsinakis
Journal of Algebra 402, 21-82, 2014
722014
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
672005
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
642010
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
602013
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
592010
Giles’s game and the proof theory of Łukasiewicz logic
CG Fermüller, G Metcalfe
Studia Logica 92, 27-61, 2009
522009
Structural completeness in fuzzy logics
P Cintula, G Metcalfe
502009
Towards a Proof Theory of Gödel Modal Logics
G Metcalfe, N Olivetti
Logical Methods in Computer Science 9 (2), 2011
482011
Analytic calculi for product logics
G Metcalfe, N Olivetti, D Gabbay
Archive for Mathematical Logic 43, 859-889, 2004
412004
Density elimination
A Ciabattoni, G Metcalfe
Theoretical Computer Science 403 (2-3), 328-346, 2008
402008
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
362017
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
352010
Ordered algebras and logic
G Metcalfe, F Paoli, C Tsinakis
Uncertainty and rationality 10, 1-85, 2010
352010
Proof systems for a Gödel modal logic
G Metcalfe, N Olivetti
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
332009
The system can't perform the operation now. Try again later.
Articles 1–20