海丁代数(关于海丁代数的简单科普)

时间:2023-03-29 19:47:02来源:

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

海丁代数

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

2、其中per表示。

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

推荐资讯