广义泛代数相关论文
随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。本文首先讨论了广义泛代数理论，给出了变......
讨论了时序命题逻辑系统MPTL模糊化的问题,给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念,并讨论了广义重言式的分......
