R_0代数中的极大缩减  

Maximal contractions in R_0 algebra

作　　者：李骏[1] 何乃娟 

机构地区：[1]兰州理工大学理学院,甘肃兰州730050

出　　处：《兰州理工大学学报》2015年第4期151-154,共4页Journal of Lanzhou University of Technology

基　　金：国家自然科学基金(11261032)

摘　　要：将软件学中的演绎元、极大缩减和极小减集等概念引入到与R0命题逻辑系统相对应的语义代数—R0代数中.研究各自的重要性质,给出R0代数极小减集的等价刻画以及R0代数极大缩减存在的充要条件.为在多值逻辑中实现软件的计量化奠定基础.The concepts of deductive element, maximal contraction, and minimal subtraction set are introduced into semantic algebra i. e. which corresponds to R0 proposition logical system, R0 algebra, their important properties are studied, and an equivalent characterization of minimal subtraction set of R0 algebra and the sufficient and necessary conditions of existence of maximal contractions of R0 algebra are given, laying a foundation for realizing quantification of software in multi-valued logic.

关 键 词：R0代数 演绎元 极大缩减 极小减集 

分 类 号：O141[理学—数学]