7 citations · 21 across the 16 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.LO2025
The unification type of Lukasiewicz logic with a bounded number of variables
Marco Abbadini, Luca Spada
Building on the correspondence between finitely axiomatised theories in Łukasieiwcz logic and rational polyhedra, we prove that the unification type of the fragment of Łukasiewicz…
math.CT2025
On the axiomatisability of the dual of compact ordered spaces
Marco Abbadini
We prove that the category of Nachbin's compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of a…