Media type: E-Article Title: Lecture Notes in Computer Science: A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus Contributor: Avron, Arnon imprint: Springer Berlin Heidelberg, 2000 Published in: Lecture Notes in Computer Science Language: Not determined DOI: 10.1007/10722086_11 ISSN: 1611-3349; 0302-9743 Origination: Footnote: