Instantial logic by W.P.M. Meijer Viol