An explicit Kuznetsov-Muravitsky enrichment
Logic
2024-05-24 v1
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.
Keywords
Cite
@article{arxiv.2405.13802,
title = {An explicit Kuznetsov-Muravitsky enrichment},
author = {Mamuka Jibladze and Evgeny Kuznetsov},
journal= {arXiv preprint arXiv:2405.13802},
year = {2024}
}