@article{Montagna01082006,
author = {Franco Montagna and Carles Noguera and Rostislav Hor{\v{c}}{\'{\i}}k}, 
title = {On Weakly Cancellative Fuzzy Logics},
volume = {16}, 
number = {4}, 
pages = {423--450}, 
year = {2006}, 
doi = {10.1093/logcom/exl002}, 
abstract ={Starting from a decomposition result of monoidal t-norm-based logic (MTL)-chains as ordinal sums, we focus our attention on a particular kind of indecomposable semihoops, namely weakly cancellative semihoops. The weak cancellation property is proved to be the difference between cancellation and pseudocomplementation, so it gives a new axiomatization of product logic and ΠMTL. By adding this property, some new fuzzy logics (propositional and first-order) are defined and studied obtaining some results about their (finite) strong standard completeness and other logical and algebraic properties.}, 
URL = {http://logcom.oxfordjournals.org/content/16/4/423.abstract}, 
eprint = {http://logcom.oxfordjournals.org/content/16/4/423.full.pdf+html}, 
journal = {Journal of Logic and Computation} 
}