Colacito, Almudena

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2021 | 2020 | 2019 | 2017

2021

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

2020

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

2019

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

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

2017

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; 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

Provide Feedback