Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study. - Dorota Leszczynska-Jasion; Mateusz Ignaszak; Szymon Chlebowski (Stud Logica, 2019)