海丁代数(关于海丁代数的简单科普)
时间:2023-03-29 19:47:02来源:说起海丁代数,有许多人不了解,那么下面来看看小辉对海丁代数的相关介绍。
海丁代数
1、海丁代数(Heytingalgebra)基于格的一种代数.指满足如下条件的一个格H:H上定义了一个运算D满足p八q
2、其中per表示。
关于海丁代数到此分享完毕,希望能帮助到您。
展开更多
标签: