George Metcalfe

Prof. Dr. George Metcalfe is a Professor and Managing Director of the Mathematical Institute (MAI) at the University of Bern. His research focuses on proof theory, non-classical logics, and ordered algebraic structures, with particular emphasis on algebraic semantics and decidability questions. He holds an office at Sidlerstrasse 5, Bern, and can be contacted via george.metcalfe@unibe.ch.

His work bridges logic and algebra, exploring topics such as residuated lattices, fuzzy logics, and modal logics. Recent contributions include advancements in equational theories, interpolation properties, and decision procedures for algebraic structures. His research often intersects with computational logic and automated reasoning.

Publications span foundational studies of algebraic systems and their logical counterparts, with a focus on substructural logics, lattice-ordered groups, and temporal models. His work frequently addresses decidability, completeness, and computational aspects of abstract algebraic frameworks.

Metcalfe has organized international conferences such as the Advances in Modal Logic and Logic, Algebra, and Truth Degrees events. His research demonstrates interdisciplinary rigor, connecting formal logic with algebraic methods to solve complex theoretical problems.