The standard completeness of interval-valued monoidal t-norm based logic (Q454982): Difference between revisions

This paper studies strong standard completeness of interval-valued monoidal t-norm-based logic (IVMTL) and its axiomatic extensions. Important results analogous to well-known completeness results of MTL and its axiomatic extensions are obtained. For example, IVMTL is strong standard complete, but IV\(\L\) is not. Similar results are proved for IVMTL expanded by Baaz Delta. Local deduction theorem for extensions of IVML (interval-valued monoidal logic) is also proved.