arXiv:0705.3803 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords sectionally pseudocomplemented poset, implication, principal order filter, sectional pseudocomplements, weaker versions Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset