摘要
讨论了拟格蕴涵代数的基本性质,由此得到:拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X(X,V,∧,`,→,0,1)为拟格蕴涵代数,≤L为格(X,∨,∧)上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系.
In this paper the fundamental properties of a quasi-lattice implication algebras are discussed, some necessary and sufficient conditions for a quasi-lattice implication algebra becoming a lattice implication algebra are obtained.