Preprint Article Version 1 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.

Journal reference: Symmetry 2019, 11, 368
DOI: 10.3390/sym11030368

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.

Subject Areas

Density elimination; Pseudo-uninorm logic; Standard completeness of HpsUL∗;Substructural logics; Fuzzy 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)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.