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

DOI10.1016/J.FSS.2025.109402MaRDI QIDQ6904299zbMATH OpenFDO

Authors Eunsuk Yang

Publication date 7 November 2025

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.FSS.2025.109402

zbMATH Keywords

substructural logicfuzzy logicidentityrelevance logicfuzzy-relevance logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52)

Cites work

• scientific article; zbMATH DE number 3496099 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• scientific article; zbMATH DE number 6276269 (Why is no real title available?)
• Aggregation operators and fuzzy systems modeling
• Algebraic completeness results for R-mingle and its extensions
• Algebraic methods in philosophical logic
• An Extension of Semiuninorms: Weak-Neutral Semiuninorms
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Generalizations of (U,N)-implications derived from commutative semi-uninorms and pseudo-uninorms
• Implicational (semilinear) logics. I: A new hierarchy
• Left and right semi-uninorms on a complete lattice
• Logical pluralism
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• ON LEFT AND RIGHT UNINORMS
• On left and right uninorms on a finite chain
• Residual coimplicators of left and right uninorms on a complete lattice
• Residual operations of left and right uninorms on a complete lattice
• Residual operations of monotone binary operations over complete lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Semi-uninorms and implications on a complete lattice
• Strict preference relations based on weak t-norms
• Substructural fuzzy-relevance logic
• The pure calculus of entailment
• The quest for the basic fuzzy logic
• Weakening-free, non-associative fuzzy logics: micanorm-based logics
• R and relevance principle revisited

This page was built for publication: Is \(\mathbf{MIAL} (=SL^\ell)\) the weakest substructural core fuzzy logic?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6904299)