Involutive uninorm logic with the \(n\)-potency axiom
From MaRDI portal
Publication:2450645
DOI10.1016/j.fss.2012.09.009zbMath1307.03017OpenAlexW2039022935WikidataQ59306549 ScholiaQ59306549MaRDI QIDQ2450645
Publication date: 14 May 2014
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2012.09.009
completeness theoremstandard completenesssemilinear logicsfuzzy logicsuninorm logics\(n\)-potency axiom
Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ Semilinear substructural logics with the finite embeddability property ⋮ 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 ⋮ A proof of the standard completeness for the involutive uninorm logic