Schedulization of the system K_p
Rong Lan · Journal of Xi'an University of Post and Telecommunications · 2005
The operators ∧_p,∨_p,θ_p with respect to a parameter p in is introduced.The system I_p and relations of classification of generalized tautologies among the systems I_p and its 3-valued system and the system C_2 are investigated.It is proved that generalized tautologies are decidable in the system I_p.