全部 标题 作者 关键词 摘要
Keywords: 超协调逻辑超协调性优先语义
Full-Text Cite this paper Add to My Lib
这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括名种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133