Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras

DOI10.18778/0138-0680.45.3.4.08zbMATH Open1423.06031OpenAlexW2734494736MaRDI QIDQ4593261FDOQ4593261

Authors: 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

Recommendations

• Expand filters in Heyting algebras
• Invariant filters of Heyting algebras
• On some compatible operations on Heyting algebras
• On fuzzy filters of Heyting-algebras
• Filters of Heyting algebras on vague set theory.
• Filter theory on hyper equality algebras
• Filters and a homomorphism theorem for UB algebras in universal logic
• Filters in residuated algebras
• Expand fuzzy filters in Heyting algebras
• scientific article; zbMATH DE number 4095452

zbMATH Keywords

intuitionistic logicresiduated latticeHeyting algebracompatible operationfiltering unification

Mathematics Subject Classification ID

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

Cited In (2)

• On some compatible operations on Heyting algebras
• Direct product of \(\ell\)-algebras and unification: an application to residuated lattices

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593261)