Uninorm based logics and structural rules

Abstract

This research work focuses on formulating uninorm based logic (UL) as a weaker logic than monoidal t-norm based logic (MTL). It is shown that the system UL is complete with respect to the class of commutative residuated lattice satisfying prelinearity condition, and that it is an extension of intuitionistic substructural logic FLe.