Lattice theory, ordered topological structures, and
related areas; applications in logic and computer science.
Specifically, my work has involved
Priestley duality for distributive lattices, topological dualities
for varieties of distributive lattices with additional operations
and the theory of natural dualities.
I have recent and current collaborative
on natural dualities, including their connections to other constructions, with
For a number of years I have been working, in collaboration with
on duality and canonical extensions. In particular, we are preparing a
research monograph,n Lattices in Logic, for Oxford University Press.
A Research Case Study
Free Sugihara algebras: demonstrating the power of duality theory to solve problems in logic and algebra [.pdf] (November 2019)
Recent preprints and publications
(with L.M. Cabrer) Piggybacking over unbounded distributive lattices, pp. 21
(submitted; [arxiv preprint])
(with L.M. Cabrer) Sugihara algebras and monoids: free algebras
GAIA 2013 (conference in honour of Brian Davey, Melbourne, July 2013): slides [pdf]
BLAST 2013 (Chapman University, California, August 2013): slides I
[pdf]; slides II [pdf]
George Boole Mathematical Sciences Conference, Theme 2: From Boole's Algebra of Logic to Boolean Algebra, and Beyond (University College Cork, August 2015): slides
TACL 2019 (Topology, Algebra and Categories in Logic, Nice, June 2019), Snapshots of duality theory, from 2019 and 50 years earlier: slides
Research Workshops on Duality Theory in Algebra, Logic and
Computer Science, Oxford, 13-14 June and 15-17 August, 2012.
Sponsored by EPSRC and the British Logic Colloquium.
Workshop on Duality Theory, Oxford, 2-3 August 2011
Conference TANCL'07 (Algebraic and Topological Methods in Non-classical
This conference, sponsored by the London Mathematical Society and the British Logic
Colloquium, was held at the Mathematical
Institute, Oxford, 5-9 August, 2007. It was the third in the biennial series now using the acronym TACL
(Topology, Algebras and Categories in Logic)