Involutive uninorm logic with the \(n\)-potency axiom

DOI10.1016/j.fss.2012.09.009zbMath1307.03017OpenAlexW2039022935WikidataQ59306549 ScholiaQ59306549MaRDI QIDQ2450645

San-min Wang

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

zbMATH Keywords

completeness theoremstandard completenesssemilinear logicsfuzzy logicsuninorm logics\(n\)-potency axiom

Mathematics Subject Classification ID

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