Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度)
命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL∀中，利用公理化方法提出了MTL∀公式的真度，证明了该真度的MP规则、HS规则及交推理规则；同时在谓词逻辑系统MTL∀的一阶闭逻辑公式集中引入了相似度和伪距离，证明了关于相似度的一些良好性质，并讨论了逻辑运算关于伪距离的连续性问题。...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Zhejiang University Press
2022-09-01
|
| Series: | Zhejiang Daxue xuebao. Lixue ban |
| Subjects: | |
| Online Access: | https://doi.org/10.3785/j.issn.1008-9497.2022.05.001 |
| _version_ | 1797235654798606336 |
|---|---|
| author | WANGBo(王波) HUIXiaojing(惠小静) LUXing(鲁星) |
| author_facet | WANGBo(王波) HUIXiaojing(惠小静) LUXing(鲁星) |
| author_sort | WANGBo(王波) |
| collection | DOAJ |
| description | 命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL∀中，利用公理化方法提出了MTL∀公式的真度，证明了该真度的MP规则、HS规则及交推理规则；同时在谓词逻辑系统MTL∀的一阶闭逻辑公式集中引入了相似度和伪距离，证明了关于相似度的一些良好性质，并讨论了逻辑运算关于伪距离的连续性问题。 |
| first_indexed | 2024-04-24T16:51:24Z |
| format | Article |
| id | doaj.art-0e3b0d0968e94ec7bada2c649d7907ed |
| institution | Directory Open Access Journal |
| issn | 1008-9497 |
| language | zho |
| last_indexed | 2024-04-24T16:51:24Z |
| publishDate | 2022-09-01 |
| publisher | Zhejiang University Press |
| record_format | Article |
| series | Zhejiang Daxue xuebao. Lixue ban |
| spelling | doaj.art-0e3b0d0968e94ec7bada2c649d7907ed2024-03-29T01:58:40ZzhoZhejiang University PressZhejiang Daxue xuebao. Lixue ban1008-94972022-09-0149552152610.3785/j.issn.1008-9497.2022.05.001Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度)WANGBo(王波)0https://orcid.org/0000-0001-9438-2094HUIXiaojing(惠小静)https://orcid.org/0000-0001-6778-2631LUXing(鲁星)1Mathematics and Computer Science College, Yan'an University, Yan'an 716000, Shaanxi Province, China(延安大学 数学与计算机科学学院，陕西 延安 716000)Mathematics and Computer Science College, Yan'an University, Yan'an 716000, Shaanxi Province, China(延安大学 数学与计算机科学学院，陕西 延安 716000)命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL∀中，利用公理化方法提出了MTL∀公式的真度，证明了该真度的MP规则、HS规则及交推理规则；同时在谓词逻辑系统MTL∀的一阶闭逻辑公式集中引入了相似度和伪距离，证明了关于相似度的一些良好性质，并讨论了逻辑运算关于伪距离的连续性问题。https://doi.org/10.3785/j.issn.1008-9497.2022.05.001谓词逻辑系统mtl∀公理化真度相似度伪距离 |
| spellingShingle | WANGBo(王波) HUIXiaojing(惠小静) LUXing(鲁星) Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度) Zhejiang Daxue xuebao. Lixue ban 谓词逻辑系统mtl∀ 公理化真度 相似度 伪距离 |
| title | Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度) |
| title_full | Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度) |
| title_fullStr | Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度) |
| title_full_unstemmed | Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度) |
| title_short | Axiomatic truth degrees of formula in MTL∀predicate logic system(谓词逻辑系统MTL∀中公式的公理化真度) |
| title_sort | axiomatic truth degrees of formula in mtl∀predicate logic system 谓词逻辑系统mtl∀中公式的公理化真度 |
| topic | 谓词逻辑系统mtl∀ 公理化真度 相似度 伪距离 |
| url | https://doi.org/10.3785/j.issn.1008-9497.2022.05.001 |
| work_keys_str_mv | AT wangbowángbō axiomatictruthdegreesofformulainmtlpredicatelogicsystemwèicíluójíxìtǒngmtlzhōnggōngshìdegōnglǐhuàzhēndù AT huixiaojinghuìxiǎojìng axiomatictruthdegreesofformulainmtlpredicatelogicsystemwèicíluójíxìtǒngmtlzhōnggōngshìdegōnglǐhuàzhēndù AT luxinglǔxīng axiomatictruthdegreesofformulainmtlpredicatelogicsystemwèicíluójíxìtǒngmtlzhōnggōngshìdegōnglǐhuàzhēndù |