Matteo Bianchi 0001

dblp:81/2670 · DBLP profile ↗
← Back
16ranked-venue papers
3as first author
5since 2021 · last 2025
0000-0002-3896-7853ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 13 · 3 first-author · 2 since 2021Theory of computation · 4 · 4 since 2021Databases, data management, data science and information retrieval · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
YearPublicationVenuePosition
2025 On Some Properties of Tabular Varieties of MTL-Algebras and Their Decidability
Stefano Aguzzoli, Matteo Bianchi 0001
EUSFLAT (1)2
2024 Tabular and Pretabular Varieties of MTL-Algebras
Stefano Aguzzoli, Matteo Bianchi 0001
RAMiCS2
2023 Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components
Stefano Aguzzoli, Matteo Bianchi 0001
RAMiCS2
2021 Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components
Stefano Aguzzoli, Matteo Bianchi 0001
RAMiCS2
2021 Strictly join irreducible varieties of BL-algebras: The missing pieces
Stefano Aguzzoli, Matteo Bianchi 0001
Fuzzy Sets Syst.2
2019 Free algebras, states and duality for the propositional GödelΔ and Drastic Product logics
Stefano Aguzzoli, Matteo Bianchi 0001, Brunella Gerla, Diego Valota
Int. J. Approx. Reason.2
2019 On linear varieties of MTL-algebras
Stefano Aguzzoli, Matteo Bianchi 0001
Soft Comput.2
2017 Probability Measures in GödelΔ Logic
Stefano Aguzzoli, Matteo Bianchi 0001, Brunella Gerla, Diego Valota
ECSQARU2
2017 On varieties singly generated by a well-connected FLew-algebra
Stefano Aguzzoli, Matteo Bianchi 0001
Fuzzy Sets Syst.2
2016 On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
Stefano Aguzzoli, Matteo Bianchi 0001
Fuzzy Sets Syst.2
2016 Single chain completeness and some related properties
Stefano Aguzzoli, Matteo Bianchi 0001
Fuzzy Sets Syst.2
2016 Corrigendum to "The logic of the strongest and the weakest t-norms" [Fuzzy Sets Syst. 276 (2015) 31-42]
Matteo Bianchi 0001
Fuzzy Sets Syst.1
2015 MTL-algebras that define the dual monoidal operation
abstract
As is well-known standard MTL-algebras in general do not define the t-conorm +*associated with their t-norm *. As +*is defined by x+*y = 1-((1-x) * (1-y)), we address the generalised problem of characterising those MTL-algebras with monoidal operation * that define the dual monoidal operation x+*y = ~(~x*~y) for some order-reversing involution ~. The barest requirement on such structures is clearly that they are subdirect products of order-anti-automorphic chains (o.a.a., for short). We deal with the case of BL-algebras, stating two properties of involutions and fully characterising those BL-algebras defining the dual monoidal operation when the involution satisfies both properties. We also exhibit a BL-chain defining the dual monoidal operation determined by an involution failing both properties. We further prove that all o.a.a. algebras in the variety generated by EMTL-algebras and IMTL-algebras define the dual monoidal operation uniformly with the same term. By contrast, we present a variety whose o.a.a. chains define the dual monoidal operation, but with distinct terms for distinct algebras, generally. If we require definability of the dual residual operation, too, we are left with IMTL-algebras as the only known examples.
Stefano Aguzzoli, Matteo Bianchi 0001, Tommaso Flaminio
FUZZ-IEEE2
2015 The logic of the strongest and the weakest t-norms
Matteo Bianchi 0001
Fuzzy Sets Syst.1
2014 A Note on Drastic Product Logic
Stefano Aguzzoli, Matteo Bianchi 0001, Diego Valota
IPMU (2)2
2014 A temporal semantics for Nilpotent Minimum logic
Matteo Bianchi 0001
Int. J. Approx. Reason.1