The standard completeness of interval-valued monoidal t-norm based logic (Q454982)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The standard completeness of interval-valued monoidal t-norm based logic |
scientific article |
Statements
The standard completeness of interval-valued monoidal t-norm based logic (English)
0 references
2 October 2012
0 references
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.
0 references
interval-valued structures
0 references
many-valued logic
0 references
residuated lattices
0 references
0 references
0 references
0 references
