ELNF 演算是我们在 LNF 演算的基础之上自然扩展逻辑处理设施而成的函数/逻辑演算系统。本文简要介绍了 ELNF 的概念,较详细地描述......

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归......

提出了实现自组织多层次归约的一个指导原则，即自组聚合与归约的协调准则，其核心思想是，基于多聚合准则的自组聚合演算中的各个聚合子......