Galatos, Nikolaos; Jipsen, Peter Weakening relation algebras and \(\mathrm{FL}^2\)-algebras. (English) Zbl 07578338 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 117-133 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Galatos} and \textit{P. Jipsen}, Lect. Notes Comput. Sci. 12062, 117--133 (2020; Zbl 07578338) Full Text: DOI
Galatos, Nikolaos; Jipsen, Peter The structure of generalized BI-algebras and weakening relation algebras. (English) Zbl 1481.03069 Algebra Univers. 81, No. 3, Paper No. 35, 35 p. (2020). MSC: 03G25 06F05 08B15 03B47 03G10 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{P. Jipsen}, Algebra Univers. 81, No. 3, Paper No. 35, 35 p. (2020; Zbl 1481.03069) Full Text: DOI Link
Galatos, N.; Raftery, J. G. Idempotent residuated structures: some category equivalences and their applications. (English) Zbl 1402.06005 Trans. Am. Math. Soc. 367, No. 5, 3189-3223 (2015). MSC: 06F05 03G25 03B47 03G27 08C05 08C15 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{J. G. Raftery}, Trans. Am. Math. Soc. 367, No. 5, 3189--3223 (2015; Zbl 1402.06005) Full Text: DOI
Galatos, Nikolaos; Jipsen, Peter Relation algebras as expanded FL-algebras. (English) Zbl 1322.03047 Algebra Univers. 69, No. 1, 1-21 (2013). MSC: 03G25 03B47 06F05 08B15 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{P. Jipsen}, Algebra Univers. 69, No. 1, 1--21 (2013; Zbl 1322.03047) Full Text: DOI
Galatos, N.; Raftery, J. G. A category equivalence for odd Sugihara monoids and its applications. (English) Zbl 1279.03043 J. Pure Appl. Algebra 216, No. 10, 2177-2192 (2012). Reviewer: Hiroki Takamura (Tokyo) MSC: 03B47 03B52 03G27 06D99 06F05 08C05 08C15 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{J. G. Raftery}, J. Pure Appl. Algebra 216, No. 10, 2177--2192 (2012; Zbl 1279.03043) Full Text: DOI
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige Algebraic proof theory for substructural logics: cut-elimination and completions. (English) Zbl 1245.03026 Ann. Pure Appl. Logic 163, No. 3, 266-290 (2012). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03F05 03G25 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Ann. Pure Appl. Logic 163, No. 3, 266--290 (2012; Zbl 1245.03026) Full Text: DOI