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
Copyright: 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.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment