2 papers
math.LO2026
Generalization of terms via universal algebra
Tommaso Flaminio, Sara Ugolini
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key…
math.LO2026
The Algebras of Lewis's Counterfactuals
Giuliano Rosella, Sara Ugolini
The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations…