Alternative Proof of Standard Completeness Theorem for MTL

Rostislav HorcĂ­k. Alternative Proof of Standard Completeness Theorem for MTL. Soft Comput., 11(2):123-129, 2007. [doi]

Abstract

Abstract is missing.