高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ

论布尔代数的公理系统与公理的独立性

叶瑞芬

叶瑞芬. 论布尔代数的公理系统与公理的独立性[J]. 华东理工大学学报(自然科学版), 1992, (1).
引用本文: 叶瑞芬. 论布尔代数的公理系统与公理的独立性[J]. 华东理工大学学报(自然科学版), 1992, (1).
Ye Reifen. On the Axiom Systems and the Independence of Axioms for Boolean Algebras[J]. Journal of East China University of Science and Technology, 1992, (1).
Citation: Ye Reifen. On the Axiom Systems and the Independence of Axioms for Boolean Algebras[J]. Journal of East China University of Science and Technology, 1992, (1).

论布尔代数的公理系统与公理的独立性

On the Axiom Systems and the Independence of Axioms for Boolean Algebras

  • 摘要: 朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。

     

  • 加载中
计量
  • 文章访问数:  1316
  • HTML全文浏览量:  169
  • PDF下载量:  76
  • 被引次数: 0
出版历程

目录

    /

    返回文章
    返回