arXiv:2308.11350 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords intuitionistic-like logic, implication, bounded poset, intuitionistic logic, truth values Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset