The Logic of Pseudo-Uninorms and Their Residua
SanMin Wang · Symmetry · 2019
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 work by Metcalfe and Montagna. 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.