可计算性逻辑相关论文
可计算性(computability),即算法有解性,是数学和计算机科学领域中最重要的概念之一。可计算性逻辑(Computability Logic,简写为Co......
可计算性（Computability）即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑（Computability Logic,CoL）是关于可计......
Extended IF逻辑是一阶逻辑的扩张，其主要特点是可表达量词间的相互依赖和独立关系，但其命题部分至今没有得到公理化．基于Cirquent演......
可计算性逻辑的形式系统CLA具有强大的表达能力和很好的应用前景，为了进一步完善其理论基础，采用严格的逻辑方法，对该系统中的相关重......
可计算性逻辑是新近提出的关于可计算性的形式理论.它采取交互的博弈语义,是一种资源逻辑.经典逻辑、直觉逻辑和线性逻辑(在广义上......
学位
针对知识库系统的研究现状和存在的问题，分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性，根据知识库系统的特点和需求，指......
可计算性逻辑(Computability Logic,简称CoL)在交互计算算法理论、运算集合和基于Cirquent的推理系统等方面得到持续研究。在可计......
