Supersound many-valued logics and Dedekind-MacNeille completions. - Matteo Bianchi 001; Franco Montagna (Arch. Math. Log., 2009)

A Temporal Semantics for Basic Logic. - Stefano Aguzzoli; Matteo Bianchi 001; Vincenzo Marra (Stud Logica, 2009)

n-Contractive BL-logics. - Matteo Bianchi 001; Franco Montagna (Arch. Math. Log., 2011)

First-order Nilpotent minimum logics: first steps. - Matteo Bianchi 001 (Arch. Math. Log., 2013)

The Variety Generated by all the Ordinal Sums of Perfect MV-Chains. - Matteo Bianchi 001 (Stud Logica, 2013)

A Note on Drastic Product Logic. - Stefano Aguzzoli; Matteo Bianchi 001; Diego Valota (IPMU (2), 2014)

A temporal semantics for Nilpotent Minimum logic. - Matteo Bianchi 001 (Int. J. Approx. Reason., 2014)

MTL-algebras that define the dual monoidal operation. - Stefano Aguzzoli; Matteo Bianchi 001; Tommaso Flaminio (FUZZ-IEEE, 2015)

The logic of the strongest and the weakest t-norms. - Matteo Bianchi 001 (Fuzzy Sets Syst., 2015)

Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. - Matteo Bianchi 001; Franco Montagna (Stud Logica, 2015)

Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. - Matteo Bianchi 001; Franco Montagna (Stud Logica, 2015)

Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL. - Stefano Aguzzoli; Matteo Bianchi 001 (WILF, 2016)

On some questions concerning the axiomatisation of WNM-algebras and their subvarieties. - Stefano Aguzzoli; Matteo Bianchi 001 (Fuzzy Sets Syst., 2016)

Single chain completeness and some related properties. - Stefano Aguzzoli; Matteo Bianchi 001 (Fuzzy Sets Syst., 2016)

Corrigendum to "The logic of the strongest and the weakest t-norms" [Fuzzy Sets Syst. 276 (2015) 31-42]. - Matteo Bianchi 001 (Fuzzy Sets Syst., 2016)

Probability Measures in GödelΔ Logic. - Stefano Aguzzoli; Matteo Bianchi 001; Brunella Gerla; Diego Valota (ECSQARU, 2017)

The Classification of All the Subvarieties of DNMG. - Stefano Aguzzoli; Matteo Bianchi 001; Diego Valota (EUSFLAT/IWIFSGN (1), 2017)

Strictly join irreducible elements in the lattice of varieties of BL-algebras. - Matteo Bianchi 001 (SSCI, 2017)

On varieties singly generated by a well-connected FLew-algebra. - Stefano Aguzzoli; Matteo Bianchi 001 (Fuzzy Sets Syst., 2017)

Free algebras, states and duality for the propositional GödelΔ and Drastic Product logics. - Stefano Aguzzoli; Matteo Bianchi 001; Brunella Gerla; Diego Valota (Int. J. Approx. Reason., 2019)

On linear varieties of MTL-algebras. - Stefano Aguzzoli; Matteo Bianchi 001 (Soft Comput., 2019)

Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components. - Stefano Aguzzoli; Matteo Bianchi 001 (RAMiCS, 2021)

Strictly join irreducible varieties of BL-algebras: The missing pieces. - Stefano Aguzzoli; Matteo Bianchi 001 (Fuzzy Sets Syst., 2021)

Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components. - Stefano Aguzzoli; Matteo Bianchi 001 (RAMiCS, 2023)

Tabular and Pretabular Varieties of MTL-Algebras. - Stefano Aguzzoli; Matteo Bianchi 001 (RAMiCS, 2024)

On Some Properties of Tabular Varieties of MTL-Algebras and Their Decidability. - Stefano Aguzzoli; Matteo Bianchi 001 (EUSFLAT (1), 2025)