Matteo Bianchi

From MaRDI portal
Person:361852

Available identifiers

zbMath Open bianchi.matteoMaRDI QIDQ361852

List of research outcomes





PublicationDate of PublicationType
Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components2023-08-17Paper
Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components2023-03-30Paper
Finite model property and varieties of BL-algebras2021-10-15Paper
Strictly join irreducible varieties of BL-algebras: the missing pieces2021-08-24Paper
A Note on Drastic Product Logic2019-08-20Paper
On linear varieties of MTL-algebras2019-08-12Paper
Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics2019-02-20Paper
Minimally many-valued extensions of the monoidal t-norm based logic MTL2018-12-07Paper
On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra2018-02-20Paper
Corrigendum to ``The logic of the strongest and the weakest t-norms2018-02-19Paper
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties2018-02-19Paper
Single chain completeness and some related properties2018-01-22Paper
The logic of the strongest and the weakest t-norms2017-11-10Paper
Probability measures in \(\text{Gödel}_\varDelta\) logic2017-09-05Paper
Trakhtenbrot theorem and first-order axiomatic extensions of MTL2015-12-07Paper
Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL2015-12-07Paper
A Note on Saturated Models for Many-Valued Logics2015-11-26Paper
A temporal semantics for nilpotent minimum logic2015-07-16Paper
The variety generated by all the ordinal sums of perfect MV-chains2013-08-19Paper
First-order nilpotent minimum logics: first steps2013-06-28Paper
On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness2012-05-21Paper
\(n\)-contractive BL-logics2011-05-11Paper
Supersound many-valued logics and Dedekind-MacNeille completions2009-12-14Paper
A temporal semantics for basic logic2009-11-16Paper

Research outcomes over time

This page was built for person: Matteo Bianchi