摘要
本文是对修正的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.
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
2004年第3期521-526,共6页
Acta Mathematica Sinica：Chinese Series
基金
国家自然科学基金(19831040)
