Next Article in Journal
Approximations of Metric Graphs by Thick Graphs and Their Laplacians
Next Article in Special Issue
Some Results in Weak Pseudo-Quasi-Wajsberg Algebras
Previous Article in Journal
Technology-Powered Strategies to Rethink the Pedagogy of History and Cultural Heritage through Symmetries and Narratives
Previous Article in Special Issue
Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics
Open AccessArticle

The Logic of Pseudo-Uninorms and Their Residua

Faculty of Science, Zhejiang Sci-Tech University, Hangzhou 310018, China
Symmetry 2019, 11(3), 368; https://doi.org/10.3390/sym11030368
Received: 15 February 2019 / Revised: 6 March 2019 / Accepted: 8 March 2019 / Published: 12 March 2019
(This article belongs to the Special Issue Mathematical Fuzzy Logic and Fuzzy Set Theory)
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. View Full-Text
Keywords: density elimination; pseudo-uninorm logic; standard completeness of HpsUL*; substructural logics; fuzzy logic density elimination; pseudo-uninorm logic; standard completeness of HpsUL*; substructural logics; fuzzy logic
Show Figures

Figure 1

MDPI and ACS Style

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

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop