1. (100%) A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic - Godel-dummett Logic
zero-order Godel-Dummett logic LC. This calculus is a slight variant of a calculus given by Avellone ... calculus, contraction-free, terminating, Godel-Dummett logic 1 Introduction In previous work [9] the author
(ps) - 31-mar-2009

2. (87%) A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic - Roy Dyckhoff; Godel-dummett Logic
zero-order Godel-Dummett logic LC. This calculus is a slight variant of a calculus given by Avellone ... calculus, contraction-free, terminating, Godel-Dummett logic 1 Introduction In previous work [9] the
(application/postscript) - 24-jul-2009