Roy Dyckhoff. A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic. Logic Journal of the IGPL, 7(3):319-326, 1999. [doi]
@article{Dyckhoff99,
title = {A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic},
author = {Roy Dyckhoff},
year = {1999},
url = {http://www3.oup.co.uk/igpl/Volume_07/Issue_03/#Dyckhoff},
tags = {logic},
researchr = {https://researchr.org/publication/Dyckhoff99},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {7},
number = {3},
pages = {319-326},
}