Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. Propositional intuitionistic multiple-conclusion calculus via proof graphs. Logic Journal of the IGPL, 27(1):33-59, 2019. [doi]
@article{CarvalhoOQ19,
title = {Propositional intuitionistic multiple-conclusion calculus via proof graphs},
author = {Ruan V. B. Carvalho and Anjolina Grisi de Oliveira and Ruy J. G. B. de Queiroz},
year = {2019},
doi = {10.1093/jigpal/jzy017},
url = {https://doi.org/10.1093/jigpal/jzy017},
researchr = {https://researchr.org/publication/CarvalhoOQ19},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {27},
number = {1},
pages = {33-59},
}