BCK代數

BCK代數

BCK代數(BCK-algebra)是數學名詞,是一種有序代數系統,帶有常元和一個二元運算。

基本介紹

  • 中文名:BCK代數
  • 外文名:bck algebra
  • 定義:有序代數系統
  • 結構:常元和一個二元
名詞解釋
BCK代數(BCK-algebra)一種有序代數系統.它是從邏輯蘊含規律中抽象出來的,帶有常元和一個二元運算.代數結構,若d .x,y,zEX,滿足:
BCK代數
BCK代數
則稱(X; * , 0)為BCK代數.

相關詞條

熱門詞條

聯絡我們