Wang, S. The Logic of Pseudo-Uninorms and Their R. Symmetry2019, 11, 368.
Wang, S. The Logic of Pseudo-Uninorms and Their R. Symmetry 2019, 11, 368.
Our method for density elimination is generalized to the non-commutative substructural logic GpsUL∗. Then the standard completeness of HpsUL∗follows as a lemma by virtue of previous workbyMetcalfeandMontagna. This result shows that HpsUL∗ is the logic of pseudo-uninorms and their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.
Density elimination; Pseudo-uninorm logic; Standard completeness of HpsUL∗;Substructural logics; Fuzzy logic
MATHEMATICS & COMPUTER SCIENCE, Logic
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.