摘要
In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic.
基金
SupportedbytheFoundationofSouthwestJiaotongUniversity(1999XJ 0 6)
