Analytic calculi for product logics (Q1762728)

This interesting paper offers a considerable progress in the proof theory for two product-related t-norm-based propositional infinite-valued logics: for the standard product logic \(\Pi\) and for the cancellative hoop logic \textbf{CHL}. The authors first give hypersequent calculi for these logics, then introduce sequent calculi for labelled formulae, and finally even give unlabelled sequent calculi for these logics. Of course, in any case, soundness and completeness theorems are proved.