Scifaro

中文

弱排中律的推广

逻辑 2011-11-09 v1

作者: Andrea Sorbi , Sebastiaan A. Terwijn

在 arXiv 上查看 ↗ PDF ↗

摘要

我们研究了一类推广弱排中律的公式，并利用克里普克框架 (Kripke frames) 和布劳威尔代数 (Brouwer algebras) 对这些公式进行了刻画。我们利用这些公式分离了对应于梅德韦杰夫格 (Medvedev lattice) 因子的逻辑。

关键词

弱排中律克里普克框架布劳威尔代数梅德韦杰夫格直觉主义逻辑逻辑分离

引用

@article{arxiv.1111.1936,
  title  = {Generalizations of the Weak Law of the Excluded Middle},
  author = {Andrea Sorbi and Sebastiaan A. Terwijn},
  journal= {arXiv preprint arXiv:1111.1936},
  year   = {2011}
}