George Metcalfe

George Metcalfe

Universität Bern

H-index: 25

Europe-Switzerland

About George Metcalfe

George Metcalfe, With an exceptional h-index of 25 and a recent h-index of 14 (since 2020), a distinguished researcher at Universität Bern, specializes in the field of Proof Theory, Universal Algebra, Non-Classical Logic, Algebraic Logic.

His recent articles reflect a diverse array of research interests and contributions to the field:

Equational theories of idempotent semifields

Transfer theorems for finitely subdirectly irreducible algebras

Deciding Equations in the Time Warp Algebra

One-variable fragments of first-order logics

Interpolation and the Exchange Rule

Model completions for universal classes of algebras: necessary and sufficient conditions

Residuated structures in algebra and logic

Algebraic semantics for one-variable lattice-valued logics

George Metcalfe Information

University

Position

Professor of Mathematics

Citations(all)

2165

Citations(since 2020)

717

Cited By

1748

hIndex(all)

25

hIndex(since 2020)

14

i10Index(all)

51

i10Index(since 2020)

26

Email

University Profile Page

Google Scholar

George Metcalfe Skills & Research Interests

Proof Theory

Universal Algebra

Non-Classical Logic

Algebraic Logic

Top articles of George Metcalfe

Equational theories of idempotent semifields

arXiv preprint arXiv:2402.09876

2024/2/15

George Metcalfe
George Metcalfe

H-Index: 15

Transfer theorems for finitely subdirectly irreducible algebras

Journal of Algebra

2024/2/15

George Metcalfe
George Metcalfe

H-Index: 15

Deciding Equations in the Time Warp Algebra

Logical Methods in Computer Science

2024/1/26

George Metcalfe
George Metcalfe

H-Index: 15

One-variable fragments of first-order logics

arXiv preprint arXiv:2310.15806

2023/10/24

George Metcalfe
George Metcalfe

H-Index: 15

Interpolation and the Exchange Rule

arXiv preprint arXiv:2310.14953

2023/10/23

George Metcalfe
George Metcalfe

H-Index: 15

Model completions for universal classes of algebras: necessary and sufficient conditions

The Journal of Symbolic Logic

2023/3

George Metcalfe
George Metcalfe

H-Index: 15

Luca Reggio
Luca Reggio

H-Index: 4

Residuated structures in algebra and logic

2023/11/6

George Metcalfe
George Metcalfe

H-Index: 15

Francesco Paoli
Francesco Paoli

H-Index: 1

Algebraic semantics for one-variable lattice-valued logics

arXiv preprint arXiv:2209.08566

2022/9/18

George Metcalfe
George Metcalfe

H-Index: 15

Lifting Properties from Finitely Subdirectly Irreducible Algebras

VO| Ume Of

2022/9/5

George Metcalfe
George Metcalfe

H-Index: 15

One-Variable Lattice-Valued Logics

VO| Ume Of

2022/9/5

George Metcalfe
George Metcalfe

H-Index: 15

One-variable fragments of intermediate logics over linear frames

Information and Computation

2022/9/1

George Metcalfe
George Metcalfe

H-Index: 15

From distributive ℓ-monoids to ℓ-groups, and back again

Journal of Algebra

2022/7/1

George Metcalfe
George Metcalfe

H-Index: 15

Theorems of alternatives for substructural logics

2021/7/31

George Metcalfe
George Metcalfe

H-Index: 15

Deciding dependence in logic and algebra

arXiv preprint arXiv:2106.10100

2021/6/18

George Metcalfe
George Metcalfe

H-Index: 15

Time warps, from algebra to algorithms

2021

George Metcalfe
George Metcalfe

H-Index: 15

Integrally closed residuated lattices

Studia Logica

2020/10

George Metcalfe
George Metcalfe

H-Index: 15

A Monadic Logic of Ordered Abelian Groups.

2020/7/1

George Metcalfe
George Metcalfe

H-Index: 15

Structure theorems for idempotent residuated lattices

Algebra universalis

2020/5

George Metcalfe
George Metcalfe

H-Index: 15

See List of Professors in George Metcalfe University(Universität Bern)

Co-Authors

academic-engine