Harding, J.; Lauridsen, F. M. Hyper-MacNeille completions of Heyting algebras. (English) Zbl 1484.06034 Stud. Log. 109, No. 5, 1119-1157 (2021). Reviewer: Keith Kearnes (Boulder) MSC: 06D20 06B23 06D15 PDFBibTeX XMLCite \textit{J. Harding} and \textit{F. M. Lauridsen}, Stud. Log. 109, No. 5, 1119--1157 (2021; Zbl 1484.06034) Full Text: DOI arXiv
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John Modal operators on compact regular frames and de Vries algebras. (English) Zbl 1321.06007 Appl. Categ. Struct. 23, No. 3, 365-379 (2015). Reviewer: Jorge Picado (Coimbra) MSC: 06D22 54E05 54B20 03G25 03B45 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Appl. Categ. Struct. 23, No. 3, 365--379 (2015; Zbl 1321.06007) Full Text: DOI Link
Bezhanishvili, Guram; Harding, John Proximity frames and regularization. (English) Zbl 1316.06009 Appl. Categ. Struct. 22, No. 1, 43-78 (2014). Reviewer: Jorge Picado (Coimbra) MSC: 06D22 18B35 54E05 54B30 18B30 PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{J. Harding}, Appl. Categ. Struct. 22, No. 1, 43--78 (2014; Zbl 1316.06009) Full Text: DOI
Gehrke, Mai; Harding, John Bounded lattice expansions. (English) Zbl 0988.06003 J. Algebra 238, No. 1, 345-371 (2001). Reviewer: Václav Slavík (Praha) MSC: 06B05 06B23 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{J. Harding}, J. Algebra 238, No. 1, 345--371 (2001; Zbl 0988.06003) Full Text: DOI Link