Dorota Leszczynska-Jasion, Mateusz Ignaszak, Szymon Chlebowski. Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study. Studia Logica, 107(2):313-349, 2019. [doi]
@article{Leszczynska-Jasion19,
title = {Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study},
author = {Dorota Leszczynska-Jasion and Mateusz Ignaszak and Szymon Chlebowski},
year = {2019},
doi = {10.1007/s11225-018-9795-7},
url = {https://doi.org/10.1007/s11225-018-9795-7},
researchr = {https://researchr.org/publication/Leszczynska-Jasion19},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {107},
number = {2},
pages = {313-349},
}