G-R型模糊命题逻辑系统完备的一个充分必要条件

引入基模糊公式的概念 ,在 Gaines- Rescher蕴涵算子下 。