De Morgan 值逻辑的圆柱代数
逻辑
2014-09-02 v1
摘要
我们构造了一种带有量词的 De Morgan 代数赋值逻辑，其真值取自有限 De Morgan 代数。我们证明了该逻辑的圆柱代数存在表示定理，由此可导出 De Morgan 代数赋值逻辑的完备性定理。这是对文献 [2] 中结果的推广。
引用
@article{arxiv.1409.0224,
title = {Cylindric algebras of De Morgan-valued logic},
author = {Norman Feldman},
journal= {arXiv preprint arXiv:1409.0224},
year = {2014}
}