@article{Horcik2007619,
title = "On the failure of standard completeness in MTL for infinite theories",
journal = "Fuzzy Sets and Systems",
volume = "158",
number = "6",
pages = "619--624",
year = "2007",
note = "<ce:title>The Logic of Soft Computing</ce:title> <xocs:full-name>The Logic of Soft Computing IV and Fourth Workshop of the ERCIM working group on soft computing</xocs:full-name>",
issn = "0165-0114",
doi = "10.1016/j.fss.2006.11.009",
url = "http://www.sciencedirect.com/science/article/pii/S0165011406005124",
author = "Rostislav Hor{\v{c}}{\'{\i}}k",
keywords = "Strong standard completeness",
keywords = "Monoidal t-norm based logic (MTL)",
keywords = "Basic fuzzy logic (BL)",
keywords = "Product logic",
keywords = "Łukasiewicz logic",
keywords = "ΠMTL",
keywords = "IMTL"
}