| R_0-代数[0,1]的子代数与广义重言式 |
| |
| 引用本文： | 王龙春,王国俊.R_0-代数[0,1]的子代数与广义重言式[J].数学学报,2004,47(3):521-526. |
| |
| 作者姓名： | 王龙春 王国俊 |
| |
| 作者单位： | 陕西师范大学数学研究所,西安,710062 |
| |
| 基金项目： | 国家自然科学基金(19831040) |
| |
| 摘 要： | 本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。
|
| 关 键 词： | 修正的Kleene系统 子R_O-代数 广义重言式 |
| 文章编号： | 0583-1431(2004)03-0521-06 |
Subalgebras of R_0-Algebra [0,1] and Generalized Tautology |
| |
| Long Chun WANG,Guo Jun WANG Institute of Mathematics,Shaanxi Normal University,Xi'an ,P. R. China.Subalgebras of R_0-Algebra [0,1] and Generalized Tautology[J].Acta Mathematica Sinica,2004,47(3):521-526. |
| |
| Authors: | Long Chun WANG Guo Jun WANG Institute of Mathematics Shaanxi Normal University Xi'an P R China |
| |
| Institution: | Long Chun WANG;Guo Jun WANG Institute of Mathematics, Shaanxi Normal University, Xi'an 710062, P. R. China |
| |
| Abstract: | 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. |
| |
| Keywords: | Revised Kleene system R_0-subalgebra Generalized tautology |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
|
