中介逻辑与梅德韦杰夫格的因子
逻辑
2007-05-23 v1
摘要
我们研究作为布劳威尔代数的梅德韦杰夫格的初始段，并考察与之相连的词项逻辑。
引用
@article{arxiv.math/0606494,
title = {Intermediate logics and factors of the Medvedev lattice},
author = {Andrea Sorbi and Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:math/0606494},
year = {2007}
}