Abstract
Here we verify the following two: The first is that the system MIAL (= SLℓ) can be regarded as the weakest substructural core fuzzy and relevance logic as far as one accepts order property. The second is that MIAL can be weakened by deleting identity. For the first, we first verify that some attempts to provide weak forms of the structural axiom ‘identity’ fail and then provide a diagnose why such attempts fail. We next verify that MIAL and some of its extensions satisfy new strong and weak relevance principles introduced in the paper “R and relevance principle revisited.” For the second, we introduce 1‾MAL as a system weaker than MIAL and verify that 1‾MAL is a substructural core fuzzy and relevance logic. This implies that MIAL is not the weakest substructural core fuzzy logic if we do not suppose order property.
| Original language | English |
|---|---|
| Article number | 109402 |
| Journal | Fuzzy Sets and Systems |
| Volume | 514 |
| DOIs | |
| State | Published - 2025.08.15 |
Keywords
- (Substructural) fuzzy-relevance logic
- Fuzzy logic
- Identity
- Relevance logic
- SL (= MIAL)
- Substructural logic
Quacquarelli Symonds(QS) Subject Topics
- Computer Science & Information Systems
- Mathematics
- Data Science
Fingerprint
Dive into the research topics of 'Is MIAL (= SLℓ) the weakest substructural core fuzzy logic?'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver