Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度)
| Autor: | WANGBo(王波), HUIXiaojing(惠小静), LUXing(鲁星) |
|---|---|
| Jazyk: | čínština |
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | Zhejiang Daxue xuebao. Lixue ban, Vol 49, Iss 5, Pp 521-526 (2022) |
| Druh dokumentu: | article |
| ISSN: | 1008-9497 |
| DOI: | 10.3785/j.issn.1008-9497.2022.05.001 |
| Popis: | 命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL∀中，利用公理化方法提出了MTL∀公式的真度，证明了该真度的MP规则、HS规则及交推理规则；同时在谓词逻辑系统MTL∀的一阶闭逻辑公式集中引入了相似度和伪距离，证明了关于相似度的一些良好性质，并讨论了逻辑运算关于伪距离的连续性问题。 |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|