首页 | 本学科首页   官方微博 | 高级检索  
     

三值Luk命题逻辑系统中逻辑理论的拓扑刻画
引用本文:高菲菲. 三值Luk命题逻辑系统中逻辑理论的拓扑刻画[J]. 纺织高校基础科学学报, 2008, 21(1): 25-28
作者姓名:高菲菲
作者单位:陕西师范大学,数学与信息科学学院,陕西,西安,710062
摘    要:基于三值Lukasiewicz命题逻辑系统Luk3中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画.

关 键 词:真度  相似度  伪距离  逻辑度量空间  相容性  闭逻辑理论  闭集
文章编号:1006-8341(2008)01-0025-04
修稿时间:2007-11-02

A topological charaterization of logic theory in 3-valued Lukasiewicz propositional logic
GAO Fei-fei. A topological charaterization of logic theory in 3-valued Lukasiewicz propositional logic[J]. Basic Sciences Journal of Textile Universities, 2008, 21(1): 25-28
Authors:GAO Fei-fei
Affiliation:GAO Fei-fei(College of Mathematics.and Information Science, Shaanxi Normal University,Xi'an 710062 ,China)
Abstract:Based on the quantitative logic theory in 3-valued propositional logic Luk3,the relation between the logic property and topological property of a logic theory has been investigated.Moreover,the concept of fully divergency is also characterized by means of the topological concept of density.
Keywords:truth degree  similarity degree  pseudo-metric  logic metric space  consistency  logic closure  topological closure
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号