R_0-代数[0,1]的子代数与广义重言式  

Subalgebras of R_0-Algebra [0,1] and Generalized Tautology

作　　者：王龙春[1] 王国俊[1] 

机构地区：[1]陕西师范大学数学研究所,西安710062

出　　处：《数学学报（中文版）》2004年第3期521-526,共6页Acta Mathematica Sinica：Chinese Series

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

摘　　要：本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。This paper concerns an extension of the theory of generalized tautologies in revised Kleene system. The theory of generalized tautologies for all kinds of infinite subalgbras of R_0-algebra [0,1] is considered. It is proved that, in R_0-subalgebra E_2, the system L~* has countable different generalized tautologies.

关 键 词：修正的Kleene系统 子R0-代数 广义重言式 

分 类 号：O141.1[理学—数学] O153.1[理学—基础数学]