海丁代数（关于海丁代数的简单科普）

说起海丁代数，有许多人不了解，那么下面来看看小辉对海丁代数的相关介绍。

海丁代数

1、海丁代数(Heytingalgebra)基于格的一种代数.指满足如下条件的一个格H:H上定义了一个运算D满足p八q

2、其中per表示。

关于海丁代数到此分享完毕，希望能帮助到您。