The logic of pseudo-uninorms and their residua

Abstract

Our method of density elimination is generalized to the non-commutative substructural logic GpsUL*. Then the standard completeness of GpsUL* follows as a lemma by virtue of previous work by Metcalfe and Montagna. This result shows that GpsUL* is the logic of pseudo-uninorms and their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.

Any comments are welcome prior to formal publication and I would like answer your any question about this work([email protected]). I will upload some materials (such as detailed proofs of some lemmas, examples, etc.) to Arxiv later