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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige Algebraic proof theory: hypersequents and hypercompletions. (English) Zbl 1422.03038 Ann. Pure Appl. Logic 168, No. 3, 693-737 (2017). MSC: 03B47 03G25 03F05 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige MacNeille completions of FL-algebras. (English) Zbl 1259.03086 Algebra Univers. 66, No. 4, 405-420 (2011). Reviewer: Osamu Sonobe (Follonica) MSC: 03G25 03B47 06F05 08B15 03B55 06D20 03F03 × Cite Format Result Cite Review PDF Full Text: DOI