1、目的简化格化拓扑中泛邻元系公理系统和网泛敛关系公理系统

2、给出的格蕴含代数的公理系统,并给出另一个公理系统

3、建立《概率论自然公理系统》中的第组和第组公理。

4、结论泛邻元系公理系统和网泛敛关系公理系统简化后,表述更清晰,应用更方便。

5、本文解答了BCI -代数公理系的**问题,同时给出了BCI -代数的另一公理系统

6、最后通过这组公理系统来评估现有的逻辑覆盖测试准则。

7、讨论了在模糊函数依赖、模糊多值依赖混合作用下的推导公理系统

8、给出模糊空值连接依赖的公理系统,并且进行了有效**。

9、*:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全*。

10、通常,几何定理的*是依据公理系统,按一定的逻辑规则演绎地进行。

11、介绍了模糊空值环境下的嵌入多值依赖、广义连接依赖、子集依赖,及其相应的公理系统