量化短语相关硕士博士期刊学术论文

形式语义学奠基人蒙太格在其语句系统中设置了两个初始类型：对应个体的类型e与对应真值的类型t。按照传统哲学的观点，专名指个体，但是......