计算机科学 ›› 1995, Vol. 22 ›› Issue (1): 1-4.

• 计算机网络与信息安全 •    下一篇

超协调逻辑(Ⅲ)—超协调性的逻辑基础

林作铨 李未   

  1. 不详 不详
  • 出版日期:2018-11-17 发布日期:2018-11-17

  • Online:2018-11-17 Published:2018-11-17

摘要: 这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括名种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。

关键词: 超协调逻辑 超协调性 优先语义

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!