Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras

DOI10.18778/0138-0680.45.3.4.08MaRDI QIDQ4593261zbMATH OpenOpenAlexFDO

Authors Wojciech Dzik, Sándor Radeleczki

Publication date 22 November 2017

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.45.3.4.08

zbMATH Keywords

intuitionistic logicresiduated latticeHeyting algebracompatible operationfiltering unification

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

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)