幾類邏輯代數(shù)及其模糊化研究

2012年

基礎(chǔ)理論

成果簡介

一、課題來源與背景
本項目來源于陜西省自然科學(xué)基礎(chǔ)研究計劃項目。
BCI/BCK-代數(shù)是K.Iseki于1966年提出的一類邏輯代數(shù)，為各種邏輯序代數(shù)的研究提供了一個統(tǒng)一框架。1998年，Hajek為了給出基本邏輯完備性定理的代數(shù)證明而引入了BL-代數(shù)。格代數(shù)是最基本的序代數(shù)。利用微分的思想和模糊化的方法對這幾類代數(shù)進(jìn)行深入地研究，產(chǎn)生了顯著效果。 ...

相關(guān)成果

1. 幾類邏輯代數(shù)及其模糊化研究
2. 序代數(shù)和邏輯代數(shù)中的若干問題研究
3. 量子邏輯和模糊邏輯的代數(shù)結(jié)構(gòu)研究
4. 量子邏輯和模糊邏輯的代數(shù)結(jié)構(gòu)研究
5. 數(shù)據(jù)語義及其邏輯推理研究
6. 可逆邏輯門級聯(lián)及其代價問題研究
7. Brauer代數(shù)與Hecke代數(shù)
8. 幾類特殊矩陣的性質(zhì)、算法及其應(yīng)用研究
9. 幾類量子計算模型研究
10. 布勞爾代數(shù)與赫克代數(shù)
12. 并行操作邏輯運(yùn)算及其控制器
13. 幾類優(yōu)化方法收斂性質(zhì)及其數(shù)值表現(xiàn)的研究
14. 半群代數(shù)理論及其在圖論中的應(yīng)用
15. 算子理論與算子代數(shù)及其應(yīng)用
16. 代數(shù)幾何
17. 代數(shù)與數(shù)論
18. Hopf代數(shù)構(gòu)造方法研究
19. 幾類非線性雙曲系統(tǒng)的研究
20. 一類集系統(tǒng)——擬陣的模糊化方法的研究與應(yīng)用

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

幾類邏輯代數(shù)及其模糊化研究

標(biāo)簽云

猜您想要的成果

相關(guān)專家

相關(guān)機(jī)構(gòu)


	選擇導(dǎo)出文檔的格式關(guān)閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關(guān)閉發(fā)送短信成功


	提示信息關(guān)閉發(fā)送短信失敗


	提示信息關(guān)閉發(fā)送郵件失敗


	提示信息關(guān)閉郵件發(fā)送成功