The standard completeness of interval-valued monoidal t-norm based logic (Q454982): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
| Property / author | |||
| Property / author: Bart Van Gasse / rank | |||
| Property / author | |||
| Property / author: Chris Cornelis / rank | |||
| Property / author | |||
| Property / author: Glad Deschrijver / rank | |||
| Property / author | |||
| Property / author: Etienne E. Kerre / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Antonín Dvořák / 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
