Zobrazeno 1 - 1
of 1
pro vyhledávání: '"谓词逻辑系统mtl∀"'
Publikováno v:
Zhejiang Daxue xuebao. Lixue ban, Vol 49, Iss 5, Pp 521-526 (2022)
命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL∀中，利用公理化方法提出了MTL∀公式的真度，证明了该真度的MP规则、HS规则及交推理规则；同时
Externí odkaz:
https://doaj.org/article/0e3b0d0968e94ec7bada2c649d7907ed
