10 citations · 10 across the 6 of their papers we have counts for
6 papers
A note on drastic product logic
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
The drastic product is known to be the smallest -norm, since whenever . This -norm is not left-continuous, and hence it does not admit a residuu…
Trakhtenbrot theorem and first-order axiomatic extensions of MTL
Matteo Bianchi
In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. Hájek generalized this result to th…
A temporal semantics for Nilpotent Minimum logic
Matteo Bianchi
In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued Łukasiewicz logic Ł3 is pointed out. In this paper we present a temporal like semantic…
On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness
Matteo Bianchi
In [Mon11] are studied, for the axiomatic extensions of the monoidal t-norm based logic ([EG01]), the properties of single chain completeness. On the other side, in [GJKO07, Chapte…
First-order Nilpotent Minimum Logics: first steps
Matteo Bianchi
Following the lines of the analysis done in [BPZ07, BCF07] for first-order Gödel logics, we present an analogous investigation for Nilpotent Minimum logic NM. We study decidability…
The variety generated by all the ordinal sums of perfect MV-chains
Matteo Bianchi
We present the logic BL_Chang, an axiomatic extension of BL (see P. Hájek - Metamathematics of fuzzy logic - 1998, Kluwer) whose corresponding algebras form the smallest variety co…