AGUZZOLI, STEFANO
AGUZZOLI, STEFANO
Dipartimento di Informatica Giovanni Degli Antoni
Tabular and Pretabular Varieties of MTL-Algebras
2024 S. Aguzzoli, M. Bianchi
Averaging the Truth Value of Formulas in Gödel Logic
2023 S. Aguzzoli, B. Gerla
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components
2023 S. Aguzzoli, M. Bianchi
Invertible substitutions in logics with algebraic semantics equivalent to Product algebras
2022 S. Aguzzoli, B. Gerla
Finite Model Property and Varieties of BL-Algebras
2022 S. Aguzzoli, M. Bianchi
MV-tropical polynomials and neural networks
2021 S. Aguzzoli, A. Di Nola, B. Gerla, C. Russo
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components
2021 S. Aguzzoli, M. Bianchi
Strictly join irreducible varieties of BL-algebras: The missing pieces
2021 S. Aguzzoli, M. Bianchi
On fuzzy truth-values and quasi-standard completeness
2021 S. Aguzzoli, B. Gerla
Towards an Algebraic Topos Semantics for Three-valued Gödel Logic
2021 S. Aguzzoli, P. Codara
Automorphism Groups of Finite BL-Algebras
2020 S. Aguzzoli, B. Gerla
Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics
2020 S. Aguzzoli
Free algebras, states and duality for the propositional GödelΔ and Drastic Product logics
2019 S. Aguzzoli, M. Bianchi, B. Gerla, D. Valota
On linear varieties of MTL-algebras
2019 S. Aguzzoli, M. Bianchi
The Classification of All the Subvarieties of DNMG
2018 S. Aguzzoli, M. Bianchi, D. Valota
Finite IUML-algebras, Finite Forests and Orthopairs
2018 S. Aguzzoli, S. Boffa, D. Ciucci, B. Gerla
Free weak nilpotent minimum algebras
2017 S. Aguzzoli, S. Bova, D. Valota
Representation of BL-algebras with finite independent spectrum
2017 S. Aguzzoli, M. Busaniche, J.L. Castiglioni, N. Lubomirsky
On the category of Nelson paraconsistent lattices
2017 S. Aguzzoli, M. Busaniche, B. Gerla, M.A. Marcos
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
2017 S. Aguzzoli, T. Flaminio, S. Ugolini