Negative Translations of Orthomodular Lattices and Their Logic. - Wesley Fussner; Gavin St. John (QPL, 2021)

Most Simple Extensions of FLe are Undecidable. - Nikolaos Galatos; Gavin St. John (J. Symb. Log., 2022)

A Substructural Gentzen Calculus for Orthomodular quantum Logic. - Davide Fazio; Antonio Ledda; Francesco Paoli; Gavin St. John (Rev. Symb. Log., 2023)

Connexive Implications in Substructural Logics. - Davide Fazio; Gavin St. John (Rev. Symb. Log., 2024)

Editorial Introduction. - Francesco Paoli; Gavin St. John (Stud Logica, 2024)

Complexities of Well-Quasi-Ordered Substructural Logics. - Nikolaos Galatos; Vitor Greati; Revantha Ramanayake; Gavin St. John (CoRR, 2025)