arXiv:1803.01552 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords intuitionistic propositional calculus, fixed-point elimination, extended version, greatest fixed-point, fixed-point free formula equivalent Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset