Goguen命題邏輯系統(tǒng)SBL公理化擴張計量化研究
大小：1.13 MB 人氣： 2017-12-28 需要積分：1
標(biāo)簽：SBL(8243)
本文以Goguen命題邏輯系統(tǒng)為例，擬在SBL公理化擴張中展開計量化研究．首先在，z值Goguen命題邏輯系統(tǒng)中添加了兩類算子，即對合否定和連接詞△，將其作為SBL~系統(tǒng)的公理化擴張，記為Goguen_a?；颌騸a．然后利用公式的誘導(dǎo)函數(shù)給出公式在k（k任取～或A）連接詞下相對于局部有限理論I_的F-k真度的定義；討論了Ⅱ~a中F-k真度的MP規(guī)則、HS規(guī)則等相關(guān)性質(zhì)：最后，在Ⅱ~a中定義了兩公式間的F-k相似度與F-k偽距離，得到了公式在K連接詞下相對于局部有限理論r的r-k相似度與F-k偽距離所具有的一些良好性質(zhì).
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
Goguen命題邏輯系統(tǒng)SBL公理化擴張計量化研究下載
相關(guān)電子資料下載
- TDA4 SPL SBL啟動流程簡析 1407
- WisBlock 液壓監(jiān)測應(yīng)用指南 506
- WisBlock GPS 跟蹤器應(yīng)用指南 893
- WisBlock 土壤 PH 監(jiān)測應(yīng)用指南 705
- WisBlock 土壤電導(dǎo)率監(jiān)測應(yīng)用指南 840
- WisBlock 水位監(jiān)測應(yīng)用指南 675
- WisBlock PAR 監(jiān)測應(yīng)用指南 585
- WisBlock 環(huán)境監(jiān)測應(yīng)用指南 638
- WisBlock 天氣監(jiān)測應(yīng)用指南 709
- FSBL的數(shù)據(jù)段和代碼段如何連接？ 733