Unification in Łukasiewicz Logic with a Finite Number of Variables. - Marco Abbadini 002; Federica Di Stefano 001; Luca Spada (IPMU (3), 2020)

On the Axiomatisability of the Dual of Compact Ordered Spaces. - Marco Abbadini 002; Luca Reggio (Appl. Categorical Struct., 2020)

Duality for Coalgebras for Vietoris and Monadicity. - Marco Abbadini 002; Ivan Di Liberti (J. Symb. Log., 2025)