Abstract
Our method for density elimination is generalized to the non-commutative substructurallogic GpsUL*. Then, the standard completeness of HpsUL* follows as a lemma by virtue of previouswork by Metcalfe and Montagna. This result shows that HpsUL* is the logic of pseudo-uninormsand their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.
Funder
the National Foundation of Natural Sciences of China
Subject
Physics and Astronomy (miscellaneous),General Mathematics,Chemistry (miscellaneous),Computer Science (miscellaneous)
Reference17 articles.
1. Proof Theory for Fuzzy Logics;Metcalfe,2009
2. HpsUL is not the logic of pseudo-uninorms and their residua
3. Logics for residuated pseudo-uninorms and their residua
4. Substructural fuzzy logics
5. Fuzzy inference system optimized by genetic algorithm for robust face and pose detection;Moallem;Int. J. Artif. Intell.,2015
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献