 | Up a level |
Colacito, Almudena; Galatos, Nikolaos; Metcalfe, George; Santschi, Simon (2022). From L-Groups to Distributive L-Monoids, and Back Again. Journal of algebra, 601, pp. 129-148. Elsevier 10.1016/j.jalgebra.2022.02.012
Galatos, Nikolaos; Gil Férez, José (2017). Modules over quantaloids: applications to the isomorphism problem in algebraic logic and π-institutions. Journal of pure and applied algebra, 221(1), pp. 1-24. Elsevier 10.1016/j.jpaa.2016.05.012
Galatos, Nikolaos; Metcalfe, George (2016). Proof theory for lattice-ordered groups. Annals of pure and applied logic, 167(8), pp. 707-724. Elsevier 10.1016/j.apal.2016.04.004
Colacito, Almudena; Galatos, Nikolaos; Metcalfe, George (2021). Theorems of Alternatives for Substructural Logics. In: Arieli, Ofer; Zamansky, Anna (eds.) Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Outstanding Contributions to Logic: Vol. 21 (pp. 91-105). Switzerland: Springer 10.1007/978-3-030-71258-7_5
