Direct elimination of additive-cuts in GL4ip: verified and extracted
Published in Advances in Modal Logic 2022, 2022
Recommended citation: Goré, Rajeev and Shillito, Ian. (2022). "Direct elimination of additive-cuts in GL4ip: verified and extracted" Advances in Modal Logic 2022.
Download Paper