河北大学学报(自然科学版) >
2008 , Vol. 28 >Issue 1: 18 - 21
DOI: https://doi.org/10.3969/j.issn.1000-1565.2008.01.007
一阶逻辑推理系统F下量词的性质及运算规律
网络出版日期: 2008-01-25
基金资助
河北省社会科学基金
Character and Operation Rule of the Classifier in First Logic Reasoning System F
Online published: 2008-01-25
关键词： 蕴涵式; 解释; 逻辑等价; 量词
孟令江 . 一阶逻辑推理系统F下量词的性质及运算规律[J]. 河北大学学报(自然科学版), 2008 , 28(1) : 18 -21 . DOI: 10.3969/j.issn.1000-1565.2008.01.007
/
