The Completeness of the Formal Deductive System B of Universal Logic in the Ideal Condition
Luo Min · 2005
UB algebra is universal logic algebra system in the ideal condition(the generalized correlative coefficient h = 0. 5 and the generalized self-correlative coefficient k = 0. 5). In this taper, we introduce the concept of filter in UB al- gebra. Some properties of UB algebra are discussed. Moreover, we prove the completeness and strong completeness of the formal deductive system B of universal logic in the ideal condition.