BIANCHI, MATTEO
BIANCHI, MATTEO
Dipartimento di Informatica Giovanni Degli Antoni
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
Finite Model Property and Varieties of BL-Algebras
2022 S. Aguzzoli, M. Bianchi
Strictly join irreducible varieties of BL-algebras: The missing pieces
2021 S. Aguzzoli, M. Bianchi
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components
2021 S. Aguzzoli, M. Bianchi
On linear varieties of MTL-algebras
2019 S. Aguzzoli, M. Bianchi
Free algebras, states and duality for the propositional GödelΔ and Drastic Product logics
2019 S. Aguzzoli, M. Bianchi, B. Gerla, D. Valota
The Classification of All the Subvarieties of DNMG
2018 S. Aguzzoli, M. Bianchi, D. Valota
Strictly join irreducible elements in the lattice of varieties of BL-algebras
2018 M. Bianchi
On varieties singly generated by a well-connected FLew-algebra
2017 S. Aguzzoli, M. Bianchi
Probability Measures in Godel Delta Logic
2017 S. Aguzzoli, M. Bianchi, B. Gerla, D. Valota
Minimally many-valued extensions of the monoidal t-norm based logic MTL
2017 S. Aguzzoli, M. Bianchi
Single chain completeness and some related properties
2016 S. Aguzzoli, M. Bianchi
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
2016 S. Aguzzoli, M. Bianchi
Corrigendum to “The logic of the strongest and the weakest t-norms” [Fuzzy Sets Syst. 276 (2015) 31–42]
2016 M. Bianchi
The logic of the strongest and the weakest t-norms
2015 M. Bianchi
A Note on Saturated Models for Many-Valued Logics
2015 T. Flaminio, M. Bianchi
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL
2015 M. Bianchi, F. Montagna
MTL-algebras that define the dual monoidal operation
2015 S. Aguzzoli, M. Bianchi, T. Flaminio
A temporal semantics for Nilpotent Minimum logic
2014 M. Bianchi
A note on drastic product logic
2014 S. Aguzzoli, M. Bianchi, D. Valota