CL4系统相关硕士博士期刊学术论文

可计算性逻辑的形式系统CLA具有强大的表达能力和很好的应用前景，为了进一步完善其理论基础，采用严格的逻辑方法，对该系统中的相关重......