An explicit Kuznetsov-Muravitsky enrichment

2024/05/22 by Jibladze, Mamuka, Kuznetsov, Evgeny · 1 citation
#03G25 #05B20 #06D20 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2405.13802

Abstract

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.

Cited by

• Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism

Related

• On one embedding of Heyting algebras
• A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras
• Varieties of strictly n-generated Heyting algebras
• On the preservation of unification type of Heyting algebras and interior algebras
• On locally finite varieties of Heyting algebras