可拓命题与可拓推理句  

Extension propositions and extension consequences

作　　者：孙弘安[1] 

机构地区：[1]赣南师范学院,江西赣州341000

出　　处：《哈尔滨工业大学学报》2006年第7期1101-1103,共3页Journal of Harbin Institute of Technology

基　　金：国家自然科学基金(10261006);江西省自然科学基金(0511008)

摘　　要：进一步研究了可拓命题和可拓推理句,引进了静态真度、可拓真度、静态正确度、可拓正确度的概念,讨论了它们的一些性质,丰富了可拓逻辑的基本概念与理论．Extension proposition and extension reasoning are discussed. The concepts of static true degree extension true degree, static correctness, and extension correctness are introduced. Some of their properties are discussed, enriched basic concept and theories of extension logic.

关 键 词：可拓集 可拓命题 可拓推理 可拓逻辑 

分 类 号：TP331[自动化与计算机技术—计算机系统结构]