arXiv:2104.05961 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords bi-heyting algebras, negative solution, kuznetsovs problem, intermediate logics, complete members Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset