Graph explorer

Research map

Explore the papers, people and topics connected to your research.

George Metcalfe
Map detail
George Metcalfe9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGeorge MetcalfeAGeorge MetcalfeResearcherModel completions for universal classes of algebras: necessary and sufficient conditionsWModel completions for u...preprint / 2022Admissibility in Finitely Generated QuasivarietiesWAdmissibility in Finite...preprint / 2013Towards a Proof Theory of Gödel Modal LogicsWTowards a Proof Theory ...preprint / 2011Exact UnificationWExact Unificationpreprint / 2014Admissibility via Natural DualitiesWAdmissibility via Natur...preprint / 2015From distributive l-monoids to l-groups, and back againWFrom distributive l-mon...preprint / 2022Structure theorems for idempotent residuated latticesWStructure theorems for ...preprint / 2020Theorems of Alternatives for Substructural LogicsWTheorems of Alternative...preprint / 2020
Person8 links

George Metcalfe

Researcher