arXiv:2209.10039 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords intermediate logics, defined intuitionistic logic, axioms written, characterization theorem, first approach Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset