非阿基米德值序列逻辑

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2006-09-26 DOI:10.1109/SYNASC.2006.57

A. Schumann

引用次数: 14

摘要

本文提出了非阿基米德多重有效性，并构造了具有相关语义的逻辑语言。进一步，他建立了非阿基米德价值序列逻辑。注意，非阿基米德值逻辑系统是第一次被考虑

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Non-Archimedean Valued Sequent Logic

In this paper the author proposes non-Archimedean multiple-validity and construct the logical language with the related semantics. Further he built non-Archimedean valued sequent logic. Notice that non-Archimedean valued logical system is considered for the first time

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

自引率

0.00%

发文量