Zobrazeno 1 - 10
of 189
pro vyhledávání: '"Ugolini, Sara"'
Autor:
Giustarini, Valeria, Ugolini, Sara
In this work we study integral residuated chains, and we solve some open problems related to the study of the amalgamation property in varieties of residuated lattices, or equivalently, about the deductive interpolation property in substructural logi
Externí odkaz:
http://arxiv.org/abs/2408.17400
Autor:
Rosella, Giuliano, Ugolini, Sara
The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fi
Externí odkaz:
http://arxiv.org/abs/2407.11740
Autor:
Aglianò, Paolo, Ugolini, Sara
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 characterizations of quasivarieties that are actively and passively universally comp
Externí odkaz:
http://arxiv.org/abs/2309.14151
Autor:
Giustarini, Valeria, Ugolini, Sara
Publikováno v:
EUSFLAT AGOP 2023. Lecture Notes in Computer Science, vol 14069. Springer, Cham (2023)
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 study maximal filters of product algebras, and their relation with pro
Externí odkaz:
http://arxiv.org/abs/2308.13410
Autor:
Galatos, Nick, Ugolini, Sara
We introduce and characterize various gluing constructions for residuated lattices that intersect on a common subreduct, and which are subalgebras, or appropriate subreducts, of the resulting structure. Starting from the 1-sum construction (also know
Externí odkaz:
http://arxiv.org/abs/2306.00109
Autor:
Flaminio, Tommaso, Ugolini, Sara
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. Methodologically speaking, we will consider a translation function between form
Externí odkaz:
http://arxiv.org/abs/2303.06963
Autor:
Flaminio, Tommaso, Ugolini, Sara
Publikováno v:
In Annals of Pure and Applied Logic October-November 2024 175(9)
Autor:
Ugolini, Sara
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 duality to provide a geometrical characterization of finitely generated p
Externí odkaz:
http://arxiv.org/abs/2201.07009
Autor:
Ugolini, Sara <1982>
Organotin compounds have found in the last few decades a wide variety of applications. Indeed, they are used successfully as antifouling paints, PVC stabilizers and ion carriers, as well as homogeneous catalysts. In this context, it has been proved t
Externí odkaz:
http://amsdottorato.unibo.it/2575/
Autor:
Aglianò, Paolo, Ugolini, Sara
We study (strictly) join irreducible varieties in the lattice of subvarieties of residuated lattices. We explore the connections with well-connected algebras and suitable generalizations, focusing in particular on representable varieties. Moreover we
Externí odkaz:
http://arxiv.org/abs/2105.13920