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

• Primary filter of residuated lattice implication algebras