arXiv:2208.14715 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords intuitionistic logic, revisit kapsners idea, gentzen-style proof systems, reverse algebraisation paradigm, point regular variety Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset