@article{,
year={2007},
issn={1432-7643},
journal={Soft Computing},
volume={11},
issue={2},
doi={10.1007/s00500-006-0058-6},
title={Alternative Proof of Standard Completeness Theorem for MTL},
url={http://dx.doi.org/10.1007/s00500-006-0058-6},
publisher={Springer-Verlag},
keywords={Monoidal t-norm based logic; Left-continuous t-norm; Fuzzy logic},
author={Rostislav Hor{\v{c}}{\'{\i}}k},
pages={123--129},
language={English}
}