2 papers
math.LO2014
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…
math.LO2012
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…