Is MIAL (= SL) the weakest substructural core fuzzy logic?

  • Eunsuk Yang

Research output: Contribution to journalJournal articlepeer-review

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 languageEnglish
Article number109402
JournalFuzzy Sets and Systems
Volume514
DOIs
StatePublished - 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