The standard completeness of interval-valued monoidal t-norm based logic (Q454982)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The standard completeness of interval-valued monoidal t-norm based logic |
scientific article; zbMATH DE number 6089786
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The standard completeness of interval-valued monoidal t-norm based logic |
scientific article; zbMATH DE number 6089786 |
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
0.8503427505493164
0 references
0.8500170111656189
0 references
0.8133780360221863
0 references
0.8109407424926758
0 references
0.8057209253311157
0 references
