概率语义与蕴涵系统
发布时间:2019-02-16 17:12
【摘要】:本文我们引入适于初始联结符为和→的句子语言的概率语义,并证明通常我们使用的句子系统——蕴涵系统——相对这样的概率语义有可靠性和完全性。
[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 李小五;概率语义与句子系统[J];哲学研究;2000年04期
3 桂起权,陈自立;解罗斯悖论之谜——规范逻辑的一个新公理系统RA简述[J];中山大学学报(社会科学版);2003年S1期
4 李小五;概率语义与蕴涵系统[J];中山大学学报(社会科学版);2003年S1期
,本文编号:2424663
本文链接:https://www.wllwen.com/shekelunwen/ljx/2424663.html