12 citations · 30 across the 9 of their papers we have counts for
10 papers
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…
The polyhedral geometry of Wajsberg hoops
Sara Ugolini
We show that the category of finitely presented Wajsberg hoops with homomorphisms is dually equivalent to a particular subcategory of rational polyhedra with Z-maps. We use the dua…
Strictly join irreducible varieties of residuated lattices
Paolo Aglianò, Sara Ugolini
We study (strictly) join irreducible varieties in the lattice of subvarieties of residuated lattices. We explore the connections with well-connected algebras and suitable generaliz…
Projectivity in (bounded) integral residuated lattices
Paolo Aglianò, Sara Ugolini
In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In partic…
Hyperstates of Involutive MTL-Algebras that Satisfy
Tommaso Flaminio, Sara Ugolini
States of MV-algebras have been the object of intensive study and attempts of generalizations. The aim of this contribution is to provide a preliminary investigation for states of…
A topological approach to MTL-algebras
Wesley Fussner, Sara Ugolini
We dualize a construction of Aguzzoli-Flaminio-Ugolini of a large class of MTL-algebras from ordered quadruples consisting of a Boolean algebra, a generalized MTL-algebra, and two…
Toward a probability theory for product logic: states, integral representation and reasoning
Tommaso Flaminio, Lluis Godo, Sara Ugolini
The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely a…