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