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

Abstract

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.