带否定算子的兰贝克演算研究
点击次数：
所属单位：哲学与社会发展学院
发表刊物：逻辑学研究
关键字：兰贝克演算;;否定;;根岑系统;;判定性
全部作者：梁飞
第一作者：林哲
论文编号：80594
期号：03
是否译文：否
发表时间：2018-09-18
发表时间：2018-09-18
副教授
性别：男
出生日期：1988-06-10
毕业院校：Delft University of Technology, 中山大学
学历：研究生(博士)毕业
学位：哲学博士学位
在职信息：在职
所在单位：哲学与社会发展学院
入职时间：2018-11-06
职务：科研教师
带否定算子的兰贝克演算研究
点击次数：
所属单位：哲学与社会发展学院
发表刊物：逻辑学研究
关键字：兰贝克演算;;否定;;根岑系统;;判定性
全部作者：梁飞
第一作者：林哲
论文编号：80594
期号：03
是否译文：否
发表时间：2018-09-18
发表时间：2018-09-18