概率語義與蘊涵系統(tǒng)
發(fā)布時間:2019-02-16 17:12
【摘要】:本文我們引入適于初始聯結符為和→的句子語言的概率語義,并證明通常我們使用的句子系統(tǒng)——蘊涵系統(tǒng)——相對這樣的概率語義有可靠性和完全性。
[Abstract]:In this paper, we introduce the probabilistic semantics of sentence languages suitable for the initial connectors and prove that the sentence systems we usually use-implication systems-are reliable and complete relative to such probabilistic semantics.
【作者單位】: 中山大學邏輯與認知研究所
【分類號】:B815
本文編號:2424663
[Abstract]:In this paper, we introduce the probabilistic semantics of sentence languages suitable for the initial connectors and prove that the sentence systems we usually use-implication systems-are reliable and complete relative to such probabilistic semantics.
【作者單位】: 中山大學邏輯與認知研究所
【分類號】:B815
【相似文獻】
相關期刊論文 前4條
1 江正云;邏輯的方法與邏輯的困惑──談談由條件句引申出的邏輯問題[J];常德師范學院學報(社會科學版);1995年04期
2 李小五;概率語義與句子系統(tǒng)[J];哲學研究;2000年04期
3 桂起權,陳自立;解羅斯悖論之謎——規(guī)范邏輯的一個新公理系統(tǒng)RA簡述[J];中山大學學報(社會科學版);2003年S1期
4 李小五;概率語義與蘊涵系統(tǒng)[J];中山大學學報(社會科學版);2003年S1期
,本文編號:2424663
本文鏈接:http://sikaile.net/shekelunwen/ljx/2424663.html