Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
From MaRDI portal
Publication:4593261
DOI10.18778/0138-0680.45.3.4.08zbMath1423.06031OpenAlexW2734494736MaRDI QIDQ4593261
Wojciech Dzik, Sándor Radeleczki
Publication date: 22 November 2017
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.45.3.4.08
This page was built for publication: Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras