The Formal Deductive System β of Universal Logic in the Ideal Condition
Luo Min · 2004
In this taper,we introduce the formal deductive system 38 of universal logic in the ideal condition (the generalized correlative coefficeht h = 0. 5 and the generalized self-correlative coefficient k = 0. 5 ). Some characterizations of the quotient algebra [F] are discussed. Moreover, we show that the formal deductive system and the basic formal deductive system UL(A=4 = 0. 5) are equivalent.