Matteo Bianchi

27 papers B 1C 4Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
On Some Properties of Tabular Varieties of MTL-Algebras and Their Decidability.
EUSFLAT (1)
Stefano Aguzzoli, Matteo Bianchi
2024 C conf
Tabular and Pretabular Varieties of MTL-Algebras.
RAMiCS
Stefano Aguzzoli, Matteo Bianchi
2023 C conf
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components.
RAMiCS
Stefano Aguzzoli, Matteo Bianchi
2021 C conf
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components.
RAMiCS
Stefano Aguzzoli, Matteo Bianchi
2021 J jnl
Strictly join irreducible varieties of BL-algebras: The missing pieces.
Fuzzy Sets Syst.
Stefano Aguzzoli, Matteo Bianchi
2019 J jnl
Free algebras, states and duality for the propositional Gödel
Int. J. Approx. Reason.
Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla, Diego Valota
2019 J jnl
On linear varieties of MTL-algebras.
Soft Comput.
Stefano Aguzzoli, Matteo Bianchi
2017 J jnl
On varieties singly generated by a well-connected FL
Fuzzy Sets Syst.
Stefano Aguzzoli, Matteo Bianchi
2017 C conf
Probability Measures in Gödel
ECSQARU
Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla, Diego Valota
2017 — conf
Strictly join irreducible elements in the lattice of varieties of BL-algebras.
SSCI
Matteo Bianchi
2017 — conf
The Classification of All the Subvarieties of DNMG.
EUSFLAT/IWIFSGN (1)
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
2016 J jnl
Corrigendum to "The logic of the strongest and the weakest t-norms" [Fuzzy Sets Syst. 276 (2015) 31-42].
Fuzzy Sets Syst.
Matteo Bianchi
2016 — conf
Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL.
WILF
Stefano Aguzzoli, Matteo Bianchi
2016 J jnl
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties.
Fuzzy Sets Syst.
Stefano Aguzzoli, Matteo Bianchi
2016 J jnl
Single chain completeness and some related properties.
Fuzzy Sets Syst.
Stefano Aguzzoli, Matteo Bianchi
2015 J jnl
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.
Stud Logica
Matteo Bianchi, Franco Montagna
2015 B conf
MTL-algebras that define the dual monoidal operation.
FUZZ-IEEE
Stefano Aguzzoli, Matteo Bianchi, Tommaso Flaminio
2015 J jnl
The logic of the strongest and the weakest t-norms.
Fuzzy Sets Syst.
Matteo Bianchi
2015 J jnl
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.
Stud Logica
Matteo Bianchi, Franco Montagna
2014 — conf
A Note on Drastic Product Logic.
IPMU (2)
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
2014 J jnl
A temporal semantics for Nilpotent Minimum logic.
Int. J. Approx. Reason.
Matteo Bianchi
2013 J jnl
A temporal semantics for Nilpotent Minimum logic.
CoRR
Matteo Bianchi
2013 J jnl
First-order Nilpotent minimum logics: first steps.
Arch. Math. Log.
Matteo Bianchi
2013 J jnl
The Variety Generated by all the Ordinal Sums of Perfect MV-Chains.
Stud Logica
Matteo Bianchi
2010 — —
On some Axiomatic Extensions of the Monoidal T-norm based Logic MTL: an Analysis in the Propositional and in the First-order Case.
Matteo Bianchi
2009 J jnl
A Temporal Semantics for Basic Logic.
Stud Logica
Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra
2009 J jnl
Supersound many-valued logics and Dedekind-MacNeille completions.
Arch. Math. Log.
Matteo Bianchi, Franco Montagna