搜索筛选:
搜索耗时0.5413秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：李小五,
来源：中山大学学报：社会科学版 年份：2008
通常的逻辑只涉及静态否定的概念。文章建立了几类动态系统来刻画动态否定概念，并引入相应的语义，然后证明这些系统相对这些语义是可靠和完全的。...
[期刊论文] 作者：李小五,郭向阳,徐秋华,
来源：暨南大学学报：自然科学与医学版 年份：2008
传统条件句逻辑研究的条件句没有明显提述条件句的背景．本文提出了一种明显提述背景的条件句逻辑BCS，并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性．...
相关搜索：
