Theory of generalized tautology in revised Kleene system  

作　　者：吴洪博 

出　　处：《Science China(Technological Sciences)》2001年第3期233-238,共6页中国科学（技术科学英文版）

摘　　要：This paper is a complement and extension of the theory of generalized tautology which was first proposed by Wang Guojun in revised Kleene system, Some interesting results are obtained: (i) accessibleα +-tautology and generalized contradiction which are dual theory to generalized tautology have been introduced; (ii) congruence partition about—has been given in logic system $\bar W$ ,W k ; (iii) in logic systemW k , tautologies can be obtained by employing the upgrade algorithm at most $\left[ {\frac{{k + 1}}{2}} \right]$ times to an arbitrary formula; (iv) in logic system $\bar W(W)$ , tautologies cannot be obtained by employing upgrade algorithm to non-tautologies within finitely many times; (v) the deduction rule $\left( {\left[ {\left( {\frac{1}{2}} \right)^ + } \right] - MP} \right)$ holds in logic system $\bar W(W)$ .

关 键 词：logic system accessibleα +-tautology upgrade algorithm α-contradiction PARTITION 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]