Sara Ugolini

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 17

Top Topics

Distributive Lattices

Boolean Algebra

Classical Logic

Automated Reasoning

Top Venues

J. Log. Comput.

Int. J. Approx. Reason.

Ann. Pure Appl. Log.

Publications

Tommaso Flaminio, Sara Ugolini
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras. Ann. Pure Appl. Log. 175 (9) (2024)
Paolo Aglianò, Sara Ugolini
Structural and universal completeness in algebra and logic. Ann. Pure Appl. Log. 175 (3) (2024)
Sara Ugolini
The polyhedral geometry of Wajsberg hoops. J. Log. Comput. 34 (3) (2024)
Valeria Giustarini, Sara Ugolini
Maximal Theories of Product Logic. EUSFLAT/AGOP (2023)
Nikolaos Galatos, Sara Ugolini
Gluing Residuated Lattices. Order 40 (3) (2023)
Francesco Manfucci, Sara Ugolini
Free Product Hoops. EUSFLAT/AGOP (2023)
Paolo Aglianò, Sara Ugolini
Projectivity and unification in substructural logics of generalized rotations. Int. J. Approx. Reason. 153 (2023)
Tommaso Flaminio, Sandro Preto, Sara Ugolini
Reasoning about Probability via Continuous Functions. KR (2023)
Paolo Aglianò, Sara Ugolini
Strictly join irreducible varieties of residuated lattices. J. Log. Comput. 32 (1) (2022)
Tommaso Flaminio, Lluís Godo, Sara Ugolini
An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic. SUM (2022)
Tommaso Flaminio, Lluís Godo, Sara Ugolini
Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals. ECSQARU (2021)
Paolo Aglianò, Sara Ugolini
Rotation logics. Fuzzy Sets Syst. 388 (2020)
Manuela Busaniche, Miguel Andrés Marcos, Sara Ugolini
Representation by triples of algebras with an MV-retract. Fuzzy Sets Syst. 369 (2019)
Paolo Aglianò, Sara Ugolini
|MTL|-algebras as rotations of basic hoops. J. Log. Comput. 29 (5) (2019)
Tommaso Flaminio, Lluís Godo, Sara Ugolini
Corrigendum to "Towards a probability theory for product logic: States, integral representation and reasoning" [Int. J. Approx. Reason. 93 (2018) 199-218]. Int. J. Approx. Reason. 103 (2018)
Tommaso Flaminio, Lluís Godo, Sara Ugolini
Towards a probability theory for product logic: States, integral representation and reasoning. Int. J. Approx. Reason. 93 (2018)
Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops. J. Log. Comput. 27 (8) (2017)
Franco Montagna, Sara Ugolini
A Categorical Equivalence for Product Algebras. Stud Logica 103 (2) (2015)