2019
Frames and topological algebras for a double-power monad.
J. Log. Anal., 2019

2016
Conuclear images of substructural logics.
Math. Log. Q., 2016