Galatos, Nikolaos; Jipsen, Peter; Ono, Hiroakira Preface to the special issue: Recent developments related to residuated lattices and substructural logics. (English) Zbl 1264.03055 Stud. Log. 100, No. 6, 1059-1062 (2012). MSC: 03B47 03G25 06F05 PDFBibTeX XMLCite \textit{N. Galatos} et al., Stud. Log. 100, No. 6, 1059--1062 (2012; Zbl 1264.03055) Full Text: DOI
Galatos, Nikolaos; Ono, Hiroakira Cut elimination and strong separation for substructural logics: an algebraic approach. (English) Zbl 1245.03027 Ann. Pure Appl. Logic 161, No. 9, 1097-1133 (2010). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03F05 03G25 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{H. Ono}, Ann. Pure Appl. Logic 161, No. 9, 1097--1133 (2010; Zbl 1245.03027) Full Text: DOI
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira Residuated lattices. An algebraic glimpse at substructural logics. (English) Zbl 1171.03001 Studies in Logic and the Foundations of Mathematics 151. Amsterdam: Elsevier (ISBN 978-0-444-52141-5/hbk). xxi, 509 p. (2007). Reviewer: Dana Piciu (Craiova) MSC: 03-01 03-02 03B47 03F05 03G10 06-01 06-02 06B20 06F05 PDFBibTeX XMLCite \textit{N. Galatos} et al., Residuated lattices. An algebraic glimpse at substructural logics. Amsterdam: Elsevier (2007; Zbl 1171.03001)
Galatos, Nikolaos; Ono, Hiroakira Glivenko theorems for substructural logics over FL. (English) Zbl 1109.03016 J. Symb. Log. 71, No. 4, 1353-1384 (2006). MSC: 03B47 03G10 06F05 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{H. Ono}, J. Symb. Log. 71, No. 4, 1353--1384 (2006; Zbl 1109.03016) Full Text: DOI Link
Galatos, Nikolaos; Ono, Hiroakira Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. (English) Zbl 1105.03021 Stud. Log. 83, No. 1-3, 279-308 (2006). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03G25 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{H. Ono}, Stud. Log. 83, No. 1--3, 279--308 (2006; Zbl 1105.03021) Full Text: DOI