自由 Heyting 代数的序理论结构
逻辑
2007-05-23 v2
摘要
我们给出了 n 变量直觉主义命题逻辑的 Lindenbaum 代数的序理论刻画。
引用
@article{arxiv.math/0702675,
title = {The Order-Theoretic Structure of Free Heyting Algebras},
author = {Michael O'Connor},
journal= {arXiv preprint arXiv:math/0702675},
year = {2007}
}