R0代数中的极大缩减.pdf

第41卷第4期 兰州理工大学学报 VoL41No．4 ofLanzhou of Aug．2015 2015年8月 JoumM UniversityTechnology 文章编号：1673—5196(2015)04-0151-04 Ro代数中的极大缩减 李骏，何乃娟 (兰州理工大学理学院，甘肃兰州730050) 摘要：将软件学中的演绎元、极大缩减和极小减集等概念引入到与R。命题逻辑系统相对应的语义代数—-Ro代数 中．研究各自的重要性质，给出Ro代数极小减集的等价刻画以及R。代数极大缩减存在的充要条件．为在多值逻辑 中实现软件的计量化奠定基础． 关键词：Ro代数；演绎元；极大缩减；极小减集 中图分类号：0141文献标识码：A Maximalcontractionsin Ro algebra LI Jun，HE Nai-juan 730050，CIlina) (SehoolofSeience，LanzhouUniv．ofTech．，Lanzhou setarein— ofdeductive minimalsubtraction Abstract：The element，maximalcontraction,and concepts to troducedintosemantici．e．which Ro algebra correspondspropositionlogicalsystem，Roalgebra，their an ofminimalsubtractionsetof arestudied，and characterization Ro importantproperties equivalent alge— maximalcontractionsof are braandthesufficientand conditionsofexistenceof Ro necessary algebragiv— afoundationfor ofsoftwareinmulti-valued en，laying realizingquantification logic． subtractionset contraction；minimal words：Roalgebra；