From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gdel Logic.

Christian G. Fermller, Timo Lang, Alexandra Pavlova

Browse the full IPMU paper archive.