加载中…
2024-05-22
An explicit Kuznetsov-Muravitsky enrichment
Mamuka JibladzeEvgeny Kuznetsov
文献摘要
An embedding of arbitrary Heyting algebra H into a reduct from the variety of Kuznetsov-Muravitsky algebras is constructed. An algebraic proof is given that this reduct belongs to the variety of Heyting algebras generated by H.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本