Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras

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

zbMATH Keywords

Heyting algebraintuitionistic logicresiduated latticecompatible operationfiltering unification

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

This page was built for publication: Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras