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.Comment: I would like to give you all examples and details of my proof, but I
  can't provide you with something that I don't have, or something that does
  not exist in the worl