Rostislav Horcík. On the failure of standard completeness in PiMTL for infinite theories. Fuzzy Sets and Systems, 158(6):619-624, 2007. [doi]
@article{Horcik07, title = {On the failure of standard completeness in PiMTL for infinite theories}, author = {Rostislav Horcík}, year = {2007}, doi = {10.1016/j.fss.2006.11.009}, url = {http://dx.doi.org/10.1016/j.fss.2006.11.009}, tags = {completeness}, researchr = {https://researchr.org/publication/Horcik07}, cites = {0}, citedby = {0}, journal = {Fuzzy Sets and Systems}, volume = {158}, number = {6}, pages = {619-624}, }