代入算子相关硕士博士期刊学术论文

当我们从一阶逻辑推广到高阶逻辑时，既使用以函词为主目的高级函词，亦使用具有指导变元与辖域的算子，例如量词与摹状词便是算子的一种......