關(guān)于BCK代數(shù)的模型論性質(zhì)

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

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

【BCK代數(shù)的模型論性質(zhì)】相關(guān)文章：

相對論平均場模型對奇-偶超重核基態(tài)性質(zhì)的系統(tǒng)研究04-26

論禮儀的性質(zhì)和作用04-27

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

準素理想的商運算及其代數(shù)簇的性質(zhì)04-26

GIS數(shù)據(jù)模型的模糊性質(zhì)及操作算法04-26

變系數(shù)模型小波估計的漸近性質(zhì)04-26

《再論經(jīng)典測量平差模型間的內(nèi)在聯(lián)系》的研究04-27

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

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

Z-代數(shù)格和Z-代數(shù)交結(jié)構(gòu)04-26