问题：
关键词：模态逻辑; 模态R-0代数; 模态算子; 逻辑系统L-n; 广义演绎定理; 根; 相容度; 发散度
● 参考解析
首先，研究了模态R-0代数与模态滤子的一些重要性质；其次，基于n值Lukasiewicz逻辑系统 L-n中的广义演绎定理，在逻辑系统L-n中引入刻画有限理论的相容度的概念；最后，讨论了根与逻辑系统L-n中的近似推理之间的关系。
相关内容
相关标签
