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
projects
on natural dualities, including their connections to other constructions, with
For a number of years I have been working, in collaboration with
Mai Gehrke,
on duality and canonical extensions.
In particular, we are preparing a research monograph,
Lattices in Logic, for Oxford University Press.
Recent preprints and publications
(with L.M. Cabrer)
Sugihara algebras: admissibility algebras via the test spaces method [arxiv preprint]
(with L.M. Cabrer, B. Freisberg and G. Metcalfe)
Checking admissibility using the test spaces method (to appear in ACM Trans. Comput. Logic)
[arxiv preprint]
(with B.A.
Davey and M. Haviar) Bohr compactifications of algebras and structures
(Appl. Categ. Struct. 25 (2017), 403-430. doi:10.1007/s10485-016-9436-0) [arxiv preprint]
(with L.M. Cabrer) Natural dualities through product representations: bilattices and beyond
(Studia Logica 104 (2016), 567-592) [preprint]
(with L.M. Cabrer) A general framework for product representations: bilattices and beyond
(Log. J. IGPL 23 (2015), 816-841) [arxiv preprint]
(with B.A.
Davey and M. Haviar) Piggyback dualities revisited (Algebra Universalis
76 (2016), 245-285. doi:10.1007/s00012-016-0395-y))
[arxiv preprint]
(with L.M. Cabrer) Gödel algebras: interactive dualities and their applications (Algebra Universalis
(a volume dedicated to Brian Davey for his 65th birthday)
74 (2015), 87-116)
[arxiv preprint]
(with L.M. Cabrer) A general framework for product representations: bilattices and beyond
(Log. J. IGPL 23 (2015), 816-841) [arxiv preprint]
(with L.M. Cabrer and A.P.K. Craig) Product representation for default bilattices: an application of natural duality theory (J. Pure Appl. Algebra 219
(2015),
2962-2988) [arxiv preprint]
(with L.M. Cabrer) Distributive bilattices from the perspective of natural duality theory
(Algebra Universalis,
(2015),
103-141)
[arxiv preprint]
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
[pdf]
Events organised
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
Logics III)
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, Algebra and Categories in Logic)