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
Retrieved from "http://www.mathfuzzlog.org/index.php/Alternative_Proof_of_Standard_Completeness_Theorem_for_MTL"
Personal tools