本文基于可及性关系清晰的Kripke结构,研究了具有代数语义和关系语义的产品模糊逻辑的模态扩展,当底层产品模糊逻辑用真常量展开时Δ运算符和两个无限推理规则。我们为这两种语义提供了完整性结果。最后,我们还考虑了乘积代数上的可能性逻辑的推广。

您当前没有访问此文章的权限。