当前位置：问答库＞论文摘要

题目：模态R-0代数与逻辑系统L-n中若干性质的研究

关键词：模态逻辑; 模态R-0代数; 模态算子; 逻辑系统L-n; 广义演绎定理; 根; 相容度; 发散度

● 摘要

首先，研究了模态R-0代数与模态滤子的一些重要性质；其次，基于n值Lukasiewicz逻辑系统 L-n中的广义演绎定理，在逻辑系统L-n中引入刻画有限理论的相容度的概念；最后，讨论了根与逻辑系统L-n中的近似推理之间的关系。