基于布尔语义的Gentzen推导模型.pdfVIP

ISSN 1673．94l8 CODEN JKYTA8 JomnalofFrontiersofComputerScienceandTechnology E—mail：fcst@vip．163．com 1673-．9418／2015／09(02)--0221．．06 http：／w／ww．ceaj．org Tel：+86—10 doi：10．3778~．issn．1673—9418．1409022 基于布尔语义的Gentzen推导模型 陈 博 ，眭跃飞 中国科学院 计算技术研究所 智能信息处理重点实验室，北京 100190 GentzenDeductionM odelBasedonBooleanLogicSemantics CHEN Bo，SUIYuefei KeyLaboratoryofIntelligentInformationProcessing，InstituteofCo