关于海丁代数简述 海丁代数


关于海丁代数简述 海丁代数

文章插图
小伙伴们,你们好,小跳今天来谈谈以上海丁代数,关于海丁代数简述问题 , 那么下面分享给大家一起了解下吧 。
1、海丁代数(Heyting algebra)基于格的一种代数.指满足如下条件的一个格H:H上定义了一个运算D满足p八q 2、其中per表示 。
【关于海丁代数简述 海丁代数】文章到此就分享结束,希望对大家有所帮助 。