逻辑类型论

作品数：2被引量：0H指数：0
导出分析报告
相关领域：哲学宗教更多>>
相关作者：满海霞张明娜更多>>
相关机构：北京科技大学廊坊广播电视大学北京大学更多>>
相关期刊：《前沿》《重庆理工大学学报（社会科学）》更多>>
相关基金：国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
罗素悖论消解的哲学研究
《前沿》2012年第14期55-56,共2页张明娜 
悖论在近几十年来已成为多学科所共同研究的课题,并且向不同的领域辐射。作为引发第三次数学危机的罗素悖论,在各类型悖论中具有极其重要的地位。首先从悖论的含义入手对罗素悖论的内容、产生原因以及解决方案即逻辑类型论进行了论述,...
关键词：罗素悖论 自我指称 恶性循环原则 逻辑类型论 弗协调逻辑 
函项分层思想及其在语言学研究中的应用
《重庆理工大学学报（社会科学）》2011年第8期83-88,共6页满海霞 
国家社会科学基金项目"面向自然语言信息处理的范畴类型逻辑研究"(09BZX046)
基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两...
关键词：函项分层 逻辑类型论 范畴理论 蒙太格语法 类型逻辑语法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部