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 St Anne's College and the Mathematical
Institute, Oxford, from 5-9 August, 2007. Abstracts of the 70 conference
presentations,
and slides of
almost all of these, can be found on the
conference website.
Research
Research interests
Lattice theory, ordered sets, ordered topological structures, and
yrelated 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 for such varieties.
Recently I have been working, in collaboration with
Mai Gehrke,
on duality and canonical extensions.
In particular, we have been developing new dualities for certain
varieties of algebras associated with non-classical propositional logics.
Preprints and recent papers
(with Mai Gehrke) Canonical extensions of
double quasioperator algebras:
an algebraic perspective on duality
for certain algebras with binary operations
(pdf) (
J. Pure Appl. Algebra 209 (2007), 269-290)
(with Mai Gehrke) Duality for double quasioperator
algebras via their canonical extensions
(pdf) ( Studia Logica86 (2007),
31-68)
(with Brian Davey and Miroslav Haviar)
Boolean topological distributive lattices
(pdf)
( Appl. Categ. Structures15 (2007),
225-241)
Canonical extensions in the setting of lattice-based algebras
(pdf), TANCL'07, Oxford, August 2007
Completions of algebras in finitely generated varieties of lattice-based
varieties (pdf),
AAA75 (Arbeitstagung Allgemeine Algebra 75), TU Darmstadt, Germany,
November 2007