The standard completeness of interval-valued monoidal t-norm based logic (Q454982): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
| Property / author | |||
| Property / author: Bart Van Gasse / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Antonín Dvořák / rank | |||
Normal rank | |||
Revision as of 08:36, 10 February 2024
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
