Next Article in Journal
A New Methodology for Improving Service Quality Measurement: Delphi-FUCOM-SERVQUAL Model
Next Article in Special Issue
The Logic of Pseudo-Uninorms and Their Residua
Previous Article in Journal
Optimal Allocation of Virtual Machines in Cloud Computing
Open AccessArticle

Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics

Faculty of Science, Zhejiang Sci-Tech University, Hangzhou 310018, China
Symmetry 2018, 10(12), 755; https://doi.org/10.3390/sym10120755
Received: 12 November 2018 / Revised: 2 December 2018 / Accepted: 12 December 2018 / Published: 15 December 2018
(This article belongs to the Special Issue Mathematical Fuzzy Logic and Fuzzy Set Theory)
Semilinear substructural logics UL ω and IUL ω are logics for finite UL and IUL -algebras, respectively. In this paper, the standard completeness of UL ω and IUL ω is proven by the method developed by Jenei, Montagna, Esteva, Gispert, Godo, and Wang. This shows that UL ω and IUL ω are substructural fuzzy logics. View Full-Text
Keywords: substructural fuzzy logics; residuated lattices; semilinear substructural logics; standard completeness; fuzzy logic substructural fuzzy logics; residuated lattices; semilinear substructural logics; standard completeness; fuzzy logic
MDPI and ACS Style

Wang, S. Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics. Symmetry 2018, 10, 755. https://doi.org/10.3390/sym10120755

AMA Style

Wang S. Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics. Symmetry. 2018; 10(12):755. https://doi.org/10.3390/sym10120755

Chicago/Turabian Style

Wang, Sanmin. 2018. "Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics" Symmetry 10, no. 12: 755. https://doi.org/10.3390/sym10120755

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
Search more from Scilit
 
Search
Back to TopTop