Basic substructural core fuzzy logics and their extensions: mianorm-based logics

DOI10.1016/j.fss.2015.09.007zbMath1378.03026OpenAlexW1772233512MaRDI QIDQ679802

Eunsuk Yang

Publication date: 22 January 2018

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

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

zbMATH Keywords

substructural logicsMIA operatorsmianormsnon-associative, non-commutative fuzzy logics

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 (5)

Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ 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 ⋮ Micanorm aggregation operators: basic logico-algebraic properties

Cites Work

• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Observations on non-commutative fuzzy logic
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Uninorm logic with the \(n\)-potency axiom
• Non-commutative Łukasiewicz propositional logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Fuzzy logics based on \([0,1)\)-continuous uninorms
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Uninorm aggregation operators
• Aggregation operators: Ordering and bounds
• A proof of standard completeness for Esteva and Godo's logic MTL
• Weakening-free, non-associative fuzzy logics: micanorm-based logics
• Aggregation operators and fuzzy systems modeling
• Involutive uninorm logic with the \(n\)-potency axiom
• Logics for residuated pseudo-uninorms and their residua
• Fuzzy logics as the logics of chains
• Weakly implicative (fuzzy) logics. I: Basic properties
• Proof theory for fuzzy logics
• The Quest for the Basic Fuzzy Logic
• HpsUL is not the logic of pseudo-uninorms and their residua
• Fuzzy Logics with Noncommutative Conjuctions
• NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
• Substructural fuzzy logics
• Protoalgebraic logics
• Pseudo-t-norms and pseudo-BL algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Basic substructural core fuzzy logics and their extensions: mianorm-based logics