Basic substructural core fuzzy logics and their extensions: mianorm-based logics
From MaRDI portal
Publication:679802
DOI10.1016/J.FSS.2015.09.007zbMATH Open1378.03026OpenAlexW1772233512MaRDI QIDQ679802FDOQ679802
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
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52)
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A treatise on many-valued logics
- Observations on non-commutative fuzzy logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- Proof theory for fuzzy logics
- HpsUL is not the logic of pseudo-uninorms and their residua
- Title not available (Why is that?)
- Substructural fuzzy logics
- Uninorm logic with the \(n\)-potency axiom
- Residuated lattices. An algebraic glimpse at substructural logics
- Weakly implicative (fuzzy) logics. I: Basic properties
- Title not available (Why is that?)
- Protoalgebraic logics
- Uninorm aggregation operators
- Pseudo-t-norms and pseudo-BL algebras
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Fuzzy logics as the logics of chains
- Fuzzy Logics with Noncommutative Conjuctions
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- Non-commutative Łukasiewicz propositional logic
- Aggregation operators and fuzzy systems modeling
- Aggregation operators: Ordering and bounds
- Weakening-free, non-associative fuzzy logics: micanorm-based logics
- Involutive uninorm logic with the \(n\)-potency axiom
- Logics for residuated pseudo-uninorms and their residua
- BIK\(^+\)-logic and non-commutative fuzzy logics
- The Quest for the Basic Fuzzy Logic
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
Cited In (5)
- Micanorm aggregation operators: basic logico-algebraic properties
- 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
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
- Title not available (Why is that?)
This page was built for publication: Basic substructural core fuzzy logics and their extensions: mianorm-based logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679802)
