一阶形式系统KL 相关硕士博士期刊学术论文

一阶语言是自然语言（特别的数学语言）的一种形式化体系，引入不同的连接词、量词、个体变元、谓词、个体常元、关系符号便有了不同的表......