Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质
作者：高晓莉; 惠小静; 朱乃调
摘要：首先对n值Goguen命题逻辑进行公理化扩张，Goguen-，Δ，记为∏-，Δ.利用公式的诱导函数给出公式在k（k任取-或Δ）连接词下相对于局部有限理论Γ的Γ-k真度的定义；讨论了∏-，Δ中Γ-k真度的MP规则、HS规则等相关性质；最后，在Γ-k中定义了两公式间的Γ-k相似度与Γ-k伪距离，得到了公式在k连接词下相对于局部有限理论Γ-k的相似度与Γ-k伪距离所具有的一些良好性质.
分类：
- 期刊
- >
- 自然科学与工程技术
- >
- 信息科技
- >
- 计算机软件及计算机应用
收录：
- 上海图书馆馆藏
- CSCD 中国科学引文数据库来源期刊(含扩展版)
- 知网收录(中)
- 北大期刊(中国人文社会科学期刊)
- 维普收录(中)
- 国家图书馆馆藏
- 万方收录(中)
- SA 科学文摘(英)
- Pж(AJ) 文摘杂志(俄)
- EI 工程索引(美)
- JST 日本科学技术振兴机构数据库(日)
- 统计源期刊(中国科技论文优秀期刊)
关键词：
- goguen命题逻辑系统
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
