An explicit Kuznetsov-Muravitsky enrichment
classification
🧮 math.LO
keywords
algebrasheytingkuznetsov-muravitskyreductvarietyalgebraalgebraicarbitrary
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.