A Deterministic Terminating Sequent Calculus for Propositional Dummett Logic (Abstract)

Roy Dyckhoff

School of Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 1998

Other files and links

http://www.math.cas.cz/~lc98/

Cite this