Galatos, Nikolaos; Ugolini, Sara Gluing residuated lattices. (English) Zbl 07780733 Order 40, No. 3, 623-664 (2023). MSC: 06-XX PDFBibTeX XMLCite \textit{N. Galatos} and \textit{S. Ugolini}, Order 40, No. 3, 623--664 (2023; Zbl 07780733) Full Text: DOI arXiv
Galatos, Nick; Přenosil, Adam Complemented MacNeille completions and algebras of fractions. (English) Zbl 07671995 J. Algebra 623, 288-357 (2023). MSC: 03Bxx 03Gxx 06Fxx PDFBibTeX XMLCite \textit{N. Galatos} and \textit{A. Přenosil}, J. Algebra 623, 288--357 (2023; Zbl 07671995) Full Text: DOI arXiv
Galatos, Nikolaos; Horčík, Rostislav Densification via polynomials, languages, and frames. (English) Zbl 07396432 J. Pure Appl. Algebra 226, No. 3, Article ID 106852, 26 p. (2022). MSC: 06F05 03G25 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{R. Horčík}, J. Pure Appl. Algebra 226, No. 3, Article ID 106852, 26 p. (2022; Zbl 07396432) Full Text: DOI
Colacito, Almudena; Galatos, Nikolaos; Metcalfe, George Theorems of alternatives for substructural logics. (English) Zbl 07452000 Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 91-105 (2021). MSC: 03-XX 39-XX PDFBibTeX XMLCite \textit{A. Colacito} et al., Outst. Contrib. Log. 21, 91--105 (2021; Zbl 07452000) Full Text: DOI arXiv
Fussner, Wesley; Galatos, Nick Categories of models of \(\mathbf{R}\)-mingle. (English) Zbl 07078384 Ann. Pure Appl. Logic 170, No. 10, 1188-1242 (2019). MSC: 03G25 03G10 03B47 03B42 03B50 03B52 PDFBibTeX XMLCite \textit{W. Fussner} and \textit{N. Galatos}, Ann. Pure Appl. Logic 170, No. 10, 1188--1242 (2019; Zbl 07078384) 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 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Ann. Pure Appl. Logic 168, No. 3, 693--737 (2017; Zbl 1422.03038) Full Text: DOI
Galatos, Nikolaos; Metcalfe, George Proof theory for lattice-ordered groups. (English) Zbl 1348.06011 Ann. Pure Appl. Logic 167, No. 8, 707-724 (2016). Reviewer: Michiro Kondo (Inzai) MSC: 06F15 06F20 03F05 08A50 08B05 PDFBibTeX XMLCite \textit{N. Galatos} and \textit{G. Metcalfe}, Ann. Pure Appl. Logic 167, No. 8, 707--724 (2016; Zbl 1348.06011) Full Text: DOI
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, 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