%0 Journal Article
%T Density Elimination for Semilinear Substructural Logics
%A SanMin Wang
%J Mathematics
%D 2015
%I arXiv
%X We present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for the involutive uninorm logic IUL is proved. Then the standard completeness of IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna.
%U http://arxiv.org/abs/1509.03472v1