 | 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
Colacito, Almudena; Marra, Vincenzo (2020). Orders on groups, and spectral spaces of lattice-groups. Algebra universalis, 81(1) Springer Nature 10.1007/s00012-019-0635-z
Bílková, Marta; Colacito, Almudena (2020). Proof theory for positive logic with weak negation. Studia logica, 108(4), pp. 649-686. Springer Science + Business Media 10.1007/s11225-019-09869-y
Colacito, Almudena; Metcalfe, George (2019). Ordering Free Groups and Validity in Lattice-Ordered Groups. Journal of pure and applied algebra, 223(12), pp. 5163-5175. Elsevier 10.1016/j.jpaa.2019.03.015
Colacito, Almudena; de Jongh, Dick; Vargas, A. L. (2017). Subminimal negation. Soft computing, 21(1), pp. 165-174. Springer 10.1007/s00500-016-2391-8
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
Bezhanishvili, Nick; Colacito, Almudena; de Jongh, Dick (2019). A Study of Subminimal Logics of Negation and Their Modal Companions. In: Silva, Alexandra; Staton, Sam; Sutton, Peter; Umbach, Carla (eds.) International Tbilisi Symposium on Logic, Language, and Computation. Lecture Notes in Computer Science: Vol. 11456 (pp. 21-41). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-662-59565-7_2
Colacito, Almudena; Metcalfe, George (2017). Proof Theory and Ordered Groups. In: Kennedy, Juliette; de Queiroz, Ruy J.G.B. (eds.) Proceedings of WoLLIC 2017. Logic, Language, Information, and Computation. Lecture Notes in Computer Science: Vol. 10388 (pp. 80-91). Springer-Verlag Berlin Heidelberg 10.1007/978-3-662-55386-2_6
