Logical consistency in simultaneous statistical test procedures - Izbicki, Rafael; Esteves, Luis Gustavo (Logic Journal of the IGPL, 2015)