@article{, year={2005}, issn={0933-5846}, journal={Archive for Mathematical Logic}, volume={44}, issue={4}, doi={10.1007/s00153-004-0254-y}, title={Standard completeness theorem for ΠMTL}, url={http://dx.doi.org/10.1007/s00153-004-0254-y}, publisher={Springer-Verlag}, keywords={Fuzzy logic; Many-valued logic; MTL logic; Product logic; Left-continuous t-norm; Cancellative left-continuous t-norm}, author={Rostislav Hor{\v{c}}{\'{\i}}k}, pages={413--424}, language={English} }