Goguen命題邏輯系統SBL公理化擴張計量化研究
大小：1.13 MB 人氣： 2017-12-28 需要積分：1
標簽：SBL(8243)
本文以Goguen命題邏輯系統為例，擬在SBL公理化擴張中展開計量化研究．首先在，z值Goguen命題邏輯系統中添加了兩類算子，即對合否定和連接詞△，將其作為SBL~系統的公理化擴張，記為Goguen_a。或Ⅱ~a．然后利用公式的誘導函數給出公式在k（k任取～或A）連接詞下相對于局部有限理論I_的F-k真度的定義；討論了Ⅱ~a中F-k真度的MP規(guī)則、HS規(guī)則等相關性質：最后，在Ⅱ~a中定義了兩公式間的F-k相似度與F-k偽距離，得到了公式在K連接詞下相對于局部有限理論r的r-k相似度與F-k偽距離所具有的一些良好性質.
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%