iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/ISMVL.2001.924570
Cut-elimination in a sequents-of-relations calculus for Godel logic | IEEE Conference Publication | IEEE Xplore
