作者:王明璇 何伟分配律heyting代数论域理论范畴论
摘要:本文概括了分配律在集合论、数理逻辑、偏序集中的表现形式及其相应的证明方法,并通过介绍论域理论的相关知识,给出Heyting代数关于取元素上确界和下确界运算满足分配律的特殊证明方法.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《中央民族大学学报·哲学社会科学版》(CN:11-3530/C)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中央民族大学学报·哲学社会科学版》学术性期刊。宣传、阐述党的民族政策,开展对我国少数民族的社会形态、政治、经济、哲学、历史、语言、文字、文学、艺术、宗教信仰、生活习俗等方面的研究。
杂志详情