Alternative Proof of Standard Completeness Theorem for MTL

From Mathfuzzlog
Jump to: navigation, search
Authors:
Rostislav Horčík
Title: Alternative Proof of Standard Completeness Theorem for MTL
Journal: Soft Computing
Volume 11
Number 2
Pages: 123-129
Year: 2007