Preprint Article Version 1 Preserved in Portico This version is not peer-reviewed

The Logic of Pseudo-Uninorms and their Residua

Version 1 : Received: 16 February 2019 / Approved: 18 February 2019 / Online: 18 February 2019 (10:42:15 CET)

A peer-reviewed article of this Preprint also exists.

Wang, S. The Logic of Pseudo-Uninorms and Their R. Symmetry 2019, 11, 368. Wang, S. The Logic of Pseudo-Uninorms and Their R. Symmetry 2019, 11, 368.

Abstract

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.

Keywords

Density elimination; Pseudo-uninorm logic; Standard completeness of HpsUL∗;Substructural logics; Fuzzy logic

Subject

Computer Science and Mathematics, Logic

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.

Leave a public comment
Send a private comment to the author(s)
* All users must log in before leaving a comment
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.