Cirquent演算相关论文
Extended IF逻辑是一阶逻辑的扩张，其主要特点是可表达量词间的相互依赖和独立关系，但其命题部分至今没有得到公理化．基于Cirquent演......
可计算性逻辑是新近提出的关于可计算性的形式理论.它采取交互的博弈语义,是一种资源逻辑.经典逻辑、直觉逻辑和线性逻辑(在广义上......
学位
