数学学报
數學學報
수학학보
ACTA MATHEMATICA SINCA
2004年
3期
521-526
,共6页
修正的Kleene系统%子R0-代数%广义重言式
脩正的Kleene繫統%子R0-代數%廣義重言式
수정적Kleene계통%자R0-대수%엄의중언식
本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R0-代数[0,1]的各类无限子R0-代数中的广义重言式,证明了在子R0-代数E2中,(* )*中存在着可数多个不同的广义重言式.
本文是對脩正的Kleene繫統中廣義重言式理論的推廣,討論瞭R0-代數[0,1]的各類無限子R0-代數中的廣義重言式,證明瞭在子R0-代數E2中,(* )*中存在著可數多箇不同的廣義重言式.
본문시대수정적Kleene계통중엄의중언식이론적추엄,토론료R0-대수[0,1]적각류무한자R0-대수중적엄의중언식,증명료재자R0-대수E2중,(* )*중존재착가수다개불동적엄의중언식.