Uninorm logic with the \(n\)-potency axiom
From MaRDI portal
Publication:695273
DOI10.1016/J.FSS.2012.04.017zbMath1273.03083DBLPjournals/fss/Wang12OpenAlexW2048928681WikidataQ59306558 ScholiaQ59306558MaRDI QIDQ695273
Publication date: 20 December 2012
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2012.04.017
Related Items (10)
Densification of FL chains via residuated frames ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ Distributivity and conditional distributivity of semi-t-operators over \(S\)-uninorms ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ Unnamed Item ⋮ The logic of pseudo-uninorms and their residua ⋮ The finite model property for semilinear substructural logics ⋮ Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics
Cites Work
- Unnamed Item
- Unnamed Item
- \(n\)-contractive BL-logics
- Logics with disjunction and proof by cases
- Extending intuitionistic linear logic with knotted structural rules
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Hypersequents, logical consequence and intermediate logics for concurrency
- Uninorm aggregation operators
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Connectification for \(n\)-contraction
- Proof theory for fuzzy logics
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
- HpsUL is not the logic of pseudo-uninorms and their residua
- A constructive analysis of RM
- On n ‐contractive fuzzy logics
- Substructural fuzzy logics
This page was built for publication: Uninorm logic with the \(n\)-potency axiom