Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study

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]

Authors

Dorota Leszczynska-Jasion

This author has not been identified. Look up 'Dorota Leszczynska-Jasion' in Google

Mateusz Ignaszak

This author has not been identified. Look up 'Mateusz Ignaszak' in Google

Szymon Chlebowski

This author has not been identified. Look up 'Szymon Chlebowski' in Google