IPC的林登鲍姆-塔斯基代数上的格拉策-施密特定理
环与代数
2016-01-22 v1
摘要
我们证明了与蕴涵命题演算相关的林登鲍姆-塔斯基代数的格拉策-施密特定理的一个版本。
关键词
引用
@article{arxiv.1601.05727,
title = {A Gr\"atzer-Schmidt theorem for the Lindenbaum-Tarski algebra of IPC},
author = {P. L. Robinson},
journal= {arXiv preprint arXiv:1601.05727},
year = {2016}
}