关于前域 Hilbert 代数的自由前域蕴涵半格扩张
逻辑
2018-11-12 v1
摘要
本文定义了一个从前端 Hilbert 代数的代数范畴到前端蕴涵半格的代数范畴的函子，它是从前端蕴涵半格范畴到前端 Hilbert 代数范畴的遗忘函子的左伴随。
引用
@article{arxiv.1811.03698,
title = {On the free frontal implicative semilattice extension of a frontal Hilbert algebra},
author = {Ramon Jansana and Hernan Javier San Martin},
journal= {arXiv preprint arXiv:1811.03698},
year = {2018}
}