Szymon Chlebowski, Marta Gawek, Agata Tomczyk. Natural Deduction Systems for Intuitionistic Logic with Identity. Studia Logica, 110(6):1381-1415, 2022. [doi]
@article{ChlebowskiGT22,
title = {Natural Deduction Systems for Intuitionistic Logic with Identity},
author = {Szymon Chlebowski and Marta Gawek and Agata Tomczyk},
year = {2022},
doi = {10.1007/s11225-022-09995-0},
url = {https://doi.org/10.1007/s11225-022-09995-0},
researchr = {https://researchr.org/publication/ChlebowskiGT22},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {110},
number = {6},
pages = {1381-1415},
}