Discriminator varieties of double-Heyting algebras. - Christopher J. Taylor 002 (Reports Math. Log., 2016)

Expansions of Dually Pseudocomplemented Heyting Algebras. - Christopher J. Taylor 002 (Stud Logica, 2017)

Splittings in varieties of logic. - Brian A. Davey; Tomasz Kowalski; Christopher J. Taylor 002 (Int. J. Algebra Comput., 2021)