Involutive basic substructural core fuzzy logics: involutive mianorm-based logics

DOI10.1016/j.fss.2017.03.013zbMath1397.03046OpenAlexW2598977848MaRDI QIDQ1697513

Eunsuk Yang

Publication date: 20 February 2018

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

Full work available at URL: https://doi.org/10.1016/j.fss.2017.03.013

zbMATH Keywords

substructural logicsnon-associative, non-commutative fuzzy logicsinvolutive logicsinvolutive mianorm-based logicsinvolutively residuated mianorms

Mathematics Subject Classification ID

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

Related Items

Unnamed Item, Axiomatization of non-associative generalisations of Hájek's BL and psBL, Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics

Cites Work

• Cut elimination and strong separation for substructural logics: an algebraic approach
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Uninorm logic with the \(n\)-potency axiom
• Residuated lattices. An algebraic glimpse at substructural logics
• Metamathematics of fuzzy logic
• A proof of standard completeness for Esteva and Godo's logic MTL
• Weakening-free, non-associative fuzzy logics: micanorm-based logics
• Involutive uninorm logic with the \(n\)-potency axiom
• Fuzzy logics as the logics of chains
• Weakly implicative (fuzzy) logics. I: Basic properties
• The Quest for the Basic Fuzzy Logic
• NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
• Substructural fuzzy logics
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item