有序邻域语义相关论文
构造一个希尔伯特型的系统RPL, 来刻画由J·哈尔彭提出的似然性测度概念, 证明RPL相对一个邻域型语义是可靠和完全的.运用表述RPL......
首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理......
