Matteo Bianchi

Available identifiers

zbMath Open bianchi.matteoMaRDI QIDQ361852

List of research outcomes

Publication	Date of Publication	Type
Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components	2023-08-17	Paper
Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components	2023-03-30	Paper
Finite model property and varieties of BL-algebras	2021-10-15	Paper
Strictly join irreducible varieties of BL-algebras: the missing pieces	2021-08-24	Paper
A Note on Drastic Product Logic	2019-08-20	Paper
On linear varieties of MTL-algebras	2019-08-12	Paper
Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics	2019-02-20	Paper
Minimally many-valued extensions of the monoidal t-norm based logic MTL	2018-12-07	Paper
On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra	2018-02-20	Paper
Corrigendum to ``The logic of the strongest and the weakest t-norms	2018-02-19	Paper
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties	2018-02-19	Paper
Single chain completeness and some related properties	2018-01-22	Paper
The logic of the strongest and the weakest t-norms	2017-11-10	Paper
Probability measures in \(\text{Gödel}_\varDelta\) logic	2017-09-05	Paper
Trakhtenbrot theorem and first-order axiomatic extensions of MTL	2015-12-07	Paper
Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL	2015-12-07	Paper
A Note on Saturated Models for Many-Valued Logics	2015-11-26	Paper
A temporal semantics for nilpotent minimum logic	2015-07-16	Paper
The variety generated by all the ordinal sums of perfect MV-chains	2013-08-19	Paper
First-order nilpotent minimum logics: first steps	2013-06-28	Paper
On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness	2012-05-21	Paper
\(n\)-contractive BL-logics	2011-05-11	Paper
Supersound many-valued logics and Dedekind-MacNeille completions	2009-12-14	Paper
A temporal semantics for basic logic	2009-11-16	Paper

Research outcomes over time

This page was built for person: Matteo Bianchi