In this paper we preseiit analytic sequent and hypersequent calculi for
Product logic II, an iinportant t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0,1], and Cancellative hoop logic CHL, a related logic with product conjunction interpreted on the real unit interval with 0 rernoved.
We consider two families of fuzzy propositional logics obtained by extendirig MTL and IMTL with the n-contraction axiom, for n > 2. These logics - called Cn-MTL and Cn-IMTL - range from Gödel and classical logic (when n = 2) to MTL and IMTL (when n tends to infinity), respectively. We investigate the t-norm based semantics and the proof theory for Cn-MTL and Cn-IMTL. We show standard cornpleteness and suitable analytic hypersequent calculi for theni.