Contraction-Free Sequent Calculi for Gödel-Dummett Logic (Abstract)

Roy Dyckhoff

School of Computer Science

Research output: Contribution to conference › Paper

Original language	English
Publication status	Published - 1999

Other files and links

http://www.dcs.st-and.ac.uk/research/publications/Dyc99b.php

Cite this