One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property. - Nick Bezhanishvili; Silvio Ghilardi; Frederik Möllerström Lauridsen (J. Log. Comput., 2017)

Intermediate Logics Admitting a Structural Hypersequent Calculus. - Frederik Möllerström Lauridsen (Stud Logica, 2019)

Integrally Closed Residuated Lattices. - José Gil-Férez; Frederik Möllerström Lauridsen; George Metcalfe (Stud Logica, 2020)

Hyper-MacNeille Completions of Heyting Algebras. - John Harding; Frederik Möllerström Lauridsen (Stud Logica, 2021)