Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics

DOI10.3390/sym10120755zbMath1425.03010OpenAlexW2904384467WikidataQ128735355 ScholiaQ128735355MaRDI QIDQ2337882

San-min Wang

Publication date: 20 November 2019

Published in: Symmetry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3390/sym10120755

zbMATH Keywords

fuzzy logicresiduated latticesstandard completenesssemilinear substructural logicssubstructural fuzzy logics

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)

Cites Work

• Substructural fuzzy-relevance logic
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Uninorm logic with the \(n\)-potency axiom
• Residuated lattices. An algebraic glimpse at substructural logics
• Implicational (semilinear) logics. I: A new hierarchy
• Basic concepts for a theory of evaluation: The aggregative operator
• 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
• Weakening-free, non-associative fuzzy logics: micanorm-based logics
• Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
• Semilinear substructural logics with the finite embeddability property
• Involutive uninorm logic with the \(n\)-potency axiom
• Logics for residuated pseudo-uninorms and their residua
• Proof theory for fuzzy logics
• Substructural fuzzy logics