BCK代數的模型論性質

關于BCK代數的模型論性質

研究BCK代數的邏輯性質,對于形式化的BCK代數理論T,證明了在子模型和鏈連接下T是保存的;T既不具有完備性也不具有模型完備性,因此存在非構建的Skolem函數,另外,通過使用超濾子的概念以及所討論的模糊理想的相應的性質,提出了超積BCK代數和BCK代數模糊子集的模糊超積.

作 者： 鄭淑紅 Zheng Shuhong   作者單位： 商丘職業技術學院,河南,商丘,476000  刊 名： 河南科學  ISTIC 英文刊名： HENAN SCIENCES  年，卷(期)： 2008 26(9)  分類號： O211.6  關鍵詞： BCK代數   模型完備性   完備性   超積   模糊超積  

【BCK代數的模型論性質】相關文章：

相對論平均場模型對奇-偶超重核基態性質的系統研究04-26

論禮儀的性質和作用04-27

多變量離散灰色模型及其性質04-27

準素理想的商運算及其代數簇的性質04-26

GIS數據模型的模糊性質及操作算法04-26

變系數模型小波估計的漸近性質04-26

《再論經典測量平差模型間的內在聯系》的研究04-27

帶正則變化尾誤差的函數系數自回歸模型的概率性質04-26

逆步李代數g(A)的導子代數04-26

Z-代數格和Z-代數交結構04-26