The Properties of the Implication in Universal Logics
Xue Zhan · 2005
The study of implication operator is important and difficult in the study of logic. In this paper, the opera- tion models of the l-level propositional connectives cluster in universal logics are first introduced, which have the properties of complement, intersection, union and implication. Regularity and monotonicity of universal implication are proved, the property of adjoint pair of universal intersection and implication is also proved. It is important theo- retical value for further researching the Universal Logic's formal system and algebraic structure with completeness.