文件名称：Axiomatization for 1-level universal AND operator (2008年)
文件大小：611KB
文件格式：PDF
更新时间：2024-07-04 07:24:45
工程技术 论文
The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system UL-h∈(0, 1)］ based on 1-level universal AND operator of universal logic is built up. The corresponding algebra L∏G-is intro