heyting algebra
海廷代数
基于1个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
在数学里,海廷代数是一特殊的偏序集,经由广义化布尔代数而成,得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的,是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。
详细内容
应用推荐
模块上移
模块下移
不移动