Dzik W, Radeleczki S. Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras. B Sect Log [Internet]. 2016 Dec. 30 [cited 2026 Mar. 30];45(3/4):257–267. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/1823