Abstract An algebraic proof is presented for the finite strong standard completeness of Involutive Uninorm Logic with Fixed Point ( $${{\mathbf {IUL}}^{fp}}$$ IUL fp ). It may provide a first step towards settling problem $${\mathbf {IUL}}$$ , pos...
