谓词逻辑系统MTL?中公式的公理化真度
O141.1; 命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一.在左连续三角模的谓词逻辑系统MTL?中,利用公理化方法提出了MTL?公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL?的一阶闭逻辑公式集中引入了相似度和伪距离,证明了关于相似度的一些良好性质,并讨论了逻辑运算关于伪距离的连续性问题....
Gespeichert in:
| Veröffentlicht in: | 浙江大学学报（理学版） 2022, Vol.49 (5), p.521-548 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | chi |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | O141.1; 命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一.在左连续三角模的谓词逻辑系统MTL?中,利用公理化方法提出了MTL?公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL?的一阶闭逻辑公式集中引入了相似度和伪距离,证明了关于相似度的一些良好性质,并讨论了逻辑运算关于伪距离的连续性问题. |
|---|---|
| ISSN: | 1008-9497 |
| DOI: | 10.3785/j.issn.1008-9497.2022.05.001 |