The logic of pseudo-uninorms and their residua

DOI10.3390/sym11030368zbMath1423.03074arXiv1707.05441OpenAlexW2963441459WikidataQ128226115 ScholiaQ128226115MaRDI QIDQ2335051

San-min Wang

Publication date: 13 November 2019

Published in: Symmetry (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.05441

zbMATH Keywords

fuzzy logicdensity eliminationpseudo-uninorm logicstandard completeness of \(\mathbf{HpsUL}^*\) substructural logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic, A proof of the standard completeness for the involutive uninorm logic

Cites Work

• Densification of FL chains via residuated frames
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Uninorm logic with the \(n\)-potency axiom
• Residuated lattices. An algebraic glimpse at substructural logics
• A proof of standard completeness for Esteva and Godo's logic MTL
• Density revisited
• Involutive uninorm logic with the \(n\)-potency axiom
• Logics for residuated pseudo-uninorms and their residua
• Proof theory for fuzzy logics
• The finite model property for semilinear substructural logics
• HpsUL is not the logic of pseudo-uninorms and their residua
• Direct fuzzy model-reference adaptive control
• Substructural fuzzy logics