机译:量词是强烈的运营商吗?
Univ Calif Irvine Logic & Philosophy Sci & Language Sci Irvine CA 92697 USA;
Quantifiers; intensional operators; compositionality; Frege; type theory; abstraction;
机译:关于内涵实体的争论:模态与量化,真实与满足
机译:量化类型的内涵分析
机译:运营商与量词:语言学的视图
机译:透明内涵逻辑中的线性逻辑运算符
机译:封闭凸锥上的正算子,Z算子,Lyapunov秩和线性博弈。
机译:卡车装配运营商风险姿势的量化:颈部背部武器和手腕
机译:有意和意向动词的量化
机译:量化类型的内在分析