positive implicative BCK - algebra

英 美
  • 正蕴涵BCK一代数
  • algebra n.代数学
  • implicative adj.含蓄的;连带的
  • positive adj.积极的;肯定的;明确的;正面的;正数的;阳性的n.正面;正数;正片;[语]原级