12 citations · 30 across the 9 of their papers we have counts for
4 papers · 1 filter
Structural and universal completeness in algebra and logic
Paolo Aglianò, Sara Ugolini
In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizati…
Maximal theories of product logic
Valeria Giustarini, Sara Ugolini
Product logic is one of the main fuzzy logics arising from a continuous t-norm, and its equivalent algebraic semantics is the variety of product algebras. In this contribution, we…
Gluing residuated lattices
Nick Galatos, Sara Ugolini
We introduce and characterize various gluing constructions for residuated lattices that intersect on a common subreduct, and which are subalgebras, or appropriate subreducts, of th…
Encoding de Finetti's coherence within Lukasiewicz logic and MV-algebras
Tommaso Flaminio, Sara Ugolini
The present paper investigates proof-theoretical and algebraic properties for the probability logic FP(L,L), meant for reasoning on the uncertainty of Lukasiewicz events. Methodolo…