关于可拓命题与可拓推理句  

On Extension Propositions and Extension Consequences

作　　者：孙弘安[1] 

机构地区：[1]赣南师范学院数学与计算机科学学院,江西赣州341000

出　　处：《赣南师范学院学报》2006年第3期1-3,共3页Journal of Gannan Teachers' College(Social Science(2))

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

摘　　要：研究可拓命题和可拓推理句,讨论它们的一些性质,丰富了可拓逻辑的基本要领与理论.Extension propositions and extension consequences are discussed. It has acquired some of their properties and enriched basic concept and theories of extension logic.

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

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