模态逻辑系统S4中的度量结构 |
| |
摘 要: | 在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。
|
Metric structure in modal logic system S4 |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 万方数据 等数据库收录! |
|