On the failure of standard completeness in PiMTL for infinite theories

Rostislav HorcĂ­k. On the failure of standard completeness in PiMTL for infinite theories. Fuzzy Sets and Systems, 158(6):619-624, 2007. [doi]

Abstract

Abstract is missing.