arXiv:1804.06130 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords ruitenburgs theorem, intuitionistic propositional formula, intuitionistic propositional calculus, infinite sequence, modulo logical equivalence Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset