Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning. - Beckmann, Arnold; Preining, Norbert (Journal of Logic & Computation, 2018)