Primary filter of residuated lattice implication algebras

• 关于剩余格蕴涵代数中的准素滤子