Next Article in Journal
Use of the PVM Method Computed in Vector Space of Increments in Decision Aiding Related to Urban Development
Previous Article in Journal
Towards Infinite Tilings with Symmetric Boundaries
Article

A Proof of the Standard Completeness for the Involutive Uninorm Logic

Faculty of Science, Zhejiang Sci-Tech University, Hangzhou 310018, China
Symmetry 2019, 11(4), 445; https://doi.org/10.3390/sym11040445
Received: 20 February 2019 / Revised: 15 March 2019 / Accepted: 22 March 2019 / Published: 27 March 2019
In this paper, we solve a long-standing open problem in the field of fuzzy logics, that is, the standard completeness for the involutive uninorm logic IUL. In fact, we present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for IUL is proved. Then the standard completeness for IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna. View Full-Text
Keywords: density elimination; involutive uninorm logic; standard completeness of HpsUL *; semilinear substructural logics; fuzzy logic density elimination; involutive uninorm logic; standard completeness of HpsUL *; semilinear substructural logics; fuzzy logic
Show Figures

Figure 1

MDPI and ACS Style

Wang, S. A Proof of the Standard Completeness for the Involutive Uninorm Logic. Symmetry 2019, 11, 445. https://doi.org/10.3390/sym11040445

AMA Style

Wang S. A Proof of the Standard Completeness for the Involutive Uninorm Logic. Symmetry. 2019; 11(4):445. https://doi.org/10.3390/sym11040445

Chicago/Turabian Style

Wang, SanMin. 2019. "A Proof of the Standard Completeness for the Involutive Uninorm Logic" Symmetry 11, no. 4: 445. https://doi.org/10.3390/sym11040445

Find Other Styles
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
Back to TopTop