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.

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
Back to TopTop