Christian G. Fermüller, Timo Lang, Alexandra Pavlova. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. Logica Universalis, 16(1):221-235, 2022. [doi]
@article{FermullerLP22,
title = {From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic},
author = {Christian G. Fermüller and Timo Lang and Alexandra Pavlova},
year = {2022},
doi = {10.1007/s11787-022-00300-0},
url = {https://doi.org/10.1007/s11787-022-00300-0},
researchr = {https://researchr.org/publication/FermullerLP22},
cites = {0},
citedby = {0},
journal = {Logica Universalis},
volume = {16},
number = {1},
pages = {221-235},
}