Concepedia

George Metcalfe

GM

30

Publications

1K

Citations

18

H-Index

1940

Active since

Affiliations

University of Bern(Current)

Vanderbilt University

King's College London

University of Siena

George Metcalfe is an author at University of Bern specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFuzzy LogicFormal VerificationMedicineBiologyMicrobiologyProof Complexity

Publications per year

1940–2017

30

Publications

30

Substructural fuzzy logics

George Metcalfe, Franco Montagna · Journal of Symbolic Logic · 2007 · 166 citations

Uninorm Logic Ul, Algebraic Logic, Fuzzy Logic +13

Fuzzy logics based on [0,1)-continuous uninorms

Dov M. Gabbay, George Metcalfe · Archive for Mathematical Logic · 2007 · 74 citations

Fuzzy Logic, Engineering, Fuzzy Computing +5

Sequent and hypersequent calculi for abelian and łukasiewicz logics

George Metcalfe, Nicola Olivetti, Dov M. Gabbay · ACM Transactions on Computational Logic · 2005 · 69 citations · Full text

Algebraic Logic, Non-classical Logic, łUkasiewicz Logic ł +7

Proof theory for admissible rules

Rosalie Iemhoff, George Metcalfe · Annals of Pure and Applied Logic · 2009 · 64 citations

Engineering, Automated Reasoning, Proof Complexity +4

Amalgamation and interpolation in ordered algebras

George Metcalfe, Franco Montagna, Constantine Tsinakis · Journal of Algebra · 2014 · 55 citations

Order Theory, Ordered Algebras, Universal Algebra +1

Rows per page

1–5 of 30