×
Compute Distance To:
Author ID: bianchi.matteo Recent zbMATH articles by "Bianchi, Matteo"
Published as: Bianchi, Matteo
External Links: MGP · ORCID · dblp
Documents Indexed: 21 Publications since 2009
Co-Authors: 6 Co-Authors with 16 Joint Publications
128 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 51 times in 33 Documents Cited by Year
\(n\)-contractive BL-logics. Zbl 1266.03041
Bianchi, Matteo; Montagna, Franco
11
2011
A temporal semantics for basic logic. Zbl 1186.03052
Aguzzoli, Stefano; Bianchi, Matteo; Marra, Vincenzo
5
2009
Supersound many-valued logics and Dedekind-MacNeille completions. Zbl 1185.03040
Bianchi, Matteo; Montagna, Franco
4
2009
A temporal semantics for nilpotent minimum logic. Zbl 1316.03010
Bianchi, Matteo
4
2014
The logic of the strongest and the weakest t-norms. Zbl 1373.03031
Bianchi, Matteo
4
2015
Single chain completeness and some related properties. Zbl 1378.03024
Aguzzoli, Stefano; Bianchi, Matteo
4
2016
Probability measures in \(\text{Gödel}_\varDelta\) logic. Zbl 1496.03096
Aguzzoli, Stefano; Bianchi, Matteo; Gerla, Brunella; Valota, Diego
4
2017
First-order nilpotent minimum logics: first steps. Zbl 1278.03052
Bianchi, Matteo
3
2013
Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Zbl 1330.03061
Bianchi, Matteo; Montagna, Franco
2
2015
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties. Zbl 1388.03064
Aguzzoli, Stefano; Bianchi, Matteo
2
2016
On linear varieties of MTL-algebras. Zbl 1418.06005
Aguzzoli, Stefano; Bianchi, Matteo
1
2019
A note on drastic product logic. Zbl 1418.03118
Aguzzoli, Stefano; Bianchi, Matteo; Valota, Diego
1
2014
Minimally many-valued extensions of the monoidal t-norm based logic MTL. Zbl 1401.03048
Aguzzoli, Stefano; Bianchi, Matteo
1
2017
Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics. Zbl 1454.03035
Aguzzoli, Stefano; Bianchi, Matteo; Gerla, Brunella; Valota, Diego
1
2019
Strictly join irreducible varieties of BL-algebras: the missing pieces. Zbl 1473.06012
Aguzzoli, Stefano; Bianchi, Matteo
1
2021
On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra. Zbl 1437.06007
Aguzzoli, Stefano; Bianchi, Matteo
1
2017
A note on saturated models for many-valued logics. Zbl 1363.03005
Flaminio, Tommaso; Bianchi, Matteo
1
2015
The variety generated by all the ordinal sums of perfect MV-chains. Zbl 1282.03025
Bianchi, Matteo
1
2013
Strictly join irreducible varieties of BL-algebras: the missing pieces. Zbl 1473.06012
Aguzzoli, Stefano; Bianchi, Matteo
1
2021
On linear varieties of MTL-algebras. Zbl 1418.06005
Aguzzoli, Stefano; Bianchi, Matteo
1
2019
Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics. Zbl 1454.03035
Aguzzoli, Stefano; Bianchi, Matteo; Gerla, Brunella; Valota, Diego
1
2019
Probability measures in \(\text{Gödel}_\varDelta\) logic. Zbl 1496.03096
Aguzzoli, Stefano; Bianchi, Matteo; Gerla, Brunella; Valota, Diego
4
2017
Minimally many-valued extensions of the monoidal t-norm based logic MTL. Zbl 1401.03048
Aguzzoli, Stefano; Bianchi, Matteo
1
2017
On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra. Zbl 1437.06007
Aguzzoli, Stefano; Bianchi, Matteo
1
2017
Single chain completeness and some related properties. Zbl 1378.03024
Aguzzoli, Stefano; Bianchi, Matteo
4
2016
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties. Zbl 1388.03064
Aguzzoli, Stefano; Bianchi, Matteo
2
2016
The logic of the strongest and the weakest t-norms. Zbl 1373.03031
Bianchi, Matteo
4
2015
Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Zbl 1330.03061
Bianchi, Matteo; Montagna, Franco
2
2015
A note on saturated models for many-valued logics. Zbl 1363.03005
Flaminio, Tommaso; Bianchi, Matteo
1
2015
A temporal semantics for nilpotent minimum logic. Zbl 1316.03010
Bianchi, Matteo
4
2014
A note on drastic product logic. Zbl 1418.03118
Aguzzoli, Stefano; Bianchi, Matteo; Valota, Diego
1
2014
First-order nilpotent minimum logics: first steps. Zbl 1278.03052
Bianchi, Matteo
3
2013
The variety generated by all the ordinal sums of perfect MV-chains. Zbl 1282.03025
Bianchi, Matteo
1
2013
\(n\)-contractive BL-logics. Zbl 1266.03041
Bianchi, Matteo; Montagna, Franco
11
2011
A temporal semantics for basic logic. Zbl 1186.03052
Aguzzoli, Stefano; Bianchi, Matteo; Marra, Vincenzo
5
2009
Supersound many-valued logics and Dedekind-MacNeille completions. Zbl 1185.03040
Bianchi, Matteo; Montagna, Franco
4
2009

Citations by Year