李晟

作品数：3被引量：10H指数：2
导出分析报告
供职机构：四川师范大学政治教育学院更多>>
发文主题：量词广义量词三段论亚里斯多德形式化更多>>
发文领域：哲学宗教更多>>
发文期刊：《四川师范大学学报（社会科学版）》《湖北大学学报（哲学社会科学版）》《重庆理工大学学报（社会科学）》更多>>
所获基金：国家社会科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于广义量词many的广义三段论推理被引量：2
《四川师范大学学报（社会科学版）》2017年第1期15-19,共5页李晟 袁兆隆 
国家社科基金西部项目"面向中文信息处理的汉语主谓句的逻辑语义及其推理模式研究"(15XYY012)
三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性...
关键词：传统三段论 广义三段论 广义量词 推理 
传统三段论的形式化和公理化研究被引量：6
《湖北大学学报（哲学社会科学版）》2016年第6期32-38,共7页张晓君 李晟 
国家社会科学基金资助项目:15XYY012
利用广义量词理论对四个亚里斯多德量词的真值定义,可以对传统三段论进行形式化。在AAA-1和EAE-1这两个公理的基础上,利用四个亚里斯多德量词的单调性之间的可转换关系,可以对传统三段论进行公理化。这些创新性成果,对于自然语言信息处...
关键词：广义量词理论 传统三段论 亚里斯多德量词 形式化 公理化 
关于居间广义量词“few”的广义三段论的有效性被引量：2
《重庆理工大学学报（社会科学）》2016年第7期12-16,共5页吴宝祥 李晟 
国家社会科学基金西部项目"面向中文信息处理的汉语主谓句的逻辑语义及其推理模式研究"(15XYY012)
在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语...
关键词：广义量词 居间量词 广义三段论 有效性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部