似然性、必然性和恒等:一种相对似然性逻辑

摘要：

构造一个希尔伯特型的系统RPL, 来刻画由J·哈尔彭提出的似然性测度概念, 证明RPL相对一个邻域型语义是可靠和完全的.运用表述RPL的语言, 证明它可以定义已经得到深入研究的必然性、条件句和命题恒等这样的概念.

关键词：相对似然性、必然性、命题恒等、有序邻域语义

所属期刊栏目：2

分类号：O14;F40

资助基金：The paper is partially supposed by a projectNo.05JJD720.40001granted by the Key Research Institutes for Humanities and Social Sciences of Chinese Ministry of Education

在线出版日期：2008-09-01（万方平台首次上网日期，不代表论文的发表时间）

页码：629-644