咨询与建议

限定检索结果

文献类型

  • 92 篇 期刊文献
  • 7 篇 学位论文
  • 1 册 图书
  • 1 篇 会议

馆藏范围

  • 101 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 37 篇 法学
    • 36 篇 社会学
    • 1 篇 民族学
  • 27 篇 文学
    • 15 篇 外国语言文学
    • 9 篇 中国语言文学
    • 4 篇 新闻传播学
  • 20 篇 哲学
    • 20 篇 哲学
  • 11 篇 工学
    • 11 篇 计算机科学与技术...
  • 4 篇 教育学
    • 3 篇 教育学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 1 篇 历史学
    • 1 篇 中国史
  • 1 篇 理学
    • 1 篇 系统科学
  • 1 篇 医学

主题

  • 101 篇 形式语义学
  • 7 篇 自然语言
  • 6 篇 逻辑
  • 5 篇 意义
  • 5 篇 逻辑学家
  • 5 篇 语义
  • 4 篇 语言学
  • 4 篇 语用学
  • 4 篇 逻辑语义学
  • 3 篇 可能世界语义学
  • 3 篇 量词
  • 3 篇 自然语言逻辑
  • 3 篇 操作语义
  • 3 篇 篇章表述理论
  • 3 篇 认知语义学
  • 3 篇 词项
  • 3 篇 句法
  • 3 篇 模态逻辑
  • 3 篇 蒙太格语法
  • 2 篇 谓词逻辑

机构

  • 4 篇 中国社会科学院哲...
  • 4 篇 浙江大学
  • 4 篇 合肥师范学院
  • 3 篇 清华大学
  • 3 篇 中国社会科学院哲...
  • 2 篇 首都师范大学
  • 2 篇 暨南大学
  • 2 篇 安徽大学
  • 2 篇 北京大学
  • 2 篇 吉林大学
  • 2 篇 苏州大学
  • 2 篇 上海外国语大学
  • 2 篇 湘潭大学
  • 2 篇 燕山大学
  • 2 篇 西南大学
  • 2 篇 曲阜师范大学
  • 2 篇 北京语言大学
  • 2 篇 山西大学
  • 1 篇 肇庆学院
  • 1 篇 兰州交通大学

作者

  • 11 篇 邹崇理
  • 5 篇 李可胜
  • 3 篇 彭家法
  • 2 篇 周北海
  • 2 篇 高芸
  • 2 篇 刘杰海
  • 2 篇 朱建平
  • 2 篇 贾改琴
  • 2 篇 单成
  • 2 篇 孙旭东
  • 1 篇 郑晓娟
  • 1 篇 白欣艳
  • 1 篇 周正
  • 1 篇 e.a.ashcroft
  • 1 篇 张君
  • 1 篇 罗龙祥
  • 1 篇 陈月霞
  • 1 篇 樊青杰
  • 1 篇 马明辉
  • 1 篇 梁志荣

语言

  • 100 篇 中文
  • 1 篇 英文
检索条件"主题词=形式语义学"
101 条 记 录,以下是11-20 订阅
排序:
当代形式语义学的争鸣与进展
收藏 引用
外语学刊 2005年 第3期 46-50页
作者: 彭家法 安徽大学
当今形式语义学已占据了语言研究的核心位置,其影响在国际语言学界越来越大。本文介绍“后蒙太古”时代形式语义学的若干争鸣,并描述了形式语义学研究在“形而上学”、逻辑手段、类型理论、模型结构、句法和词汇理论等方面所取得的进展。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于形式语义学研究维吾尔语句式NP_(1)+(NP_(2))+V_(2)+V_(1)的分化及形式语义规则
收藏 引用
语言与翻译 2021年 第4期 35-40页
作者: 潘艳兰 喀什大学中国语言学院 新疆喀什844006
形式语义学是指将自然语言的语义转换成一个体系严密的形式化系统。本文采用了逻辑语义分析法,运用形式语言来实现对句式形式化的描写和分析,结合语言学、逻辑学、计算机科学,通过分析维吾尔语句式NP_(1)+(NP_(2))+V_(2)+V_(1),总结出... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
理论计算机科学 形式语义学引论
理论计算机科学 形式语义学引论
收藏 引用
1985年
作者: 中国科学院计算技术研究所 周巢尘
来源: 汇雅图书(南通市图书馆... 评论
九句因理论的形式语义学
收藏 引用
逻辑学研究 2018年 第4期11卷 94-113页
作者: 许春梅 中国社会科学院世界宗教研究所
本文利用形式语义学的方法,通过给出适合九句因理论的初始假设,对其进行形式语义刻画。结论是:九句因理论的本质是建立在对宗体与宗依的区分的基础上,从形式上,一般地探讨因与宗后陈两者之间的外延关系。就其跳脱具体内容上的探讨,而完... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
形式语义学的正确运用
收藏 引用
计算机科学 1984年 第3期 48-55页
作者: E.A.Ashcroft W.W.Wadge 陈冬凡
文中就程序设计语言语义学方面近来的工作作了建设性批评。这一批评着重针对现有技术和成果的运用,而不是这些技术和成果本身。主要问题在于,指称(denotational)语义学大体上起着一种消极的(描述性的)作用,而操作(operational)语义学却... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
形式语义学视角下的命题符号理论研究综述
收藏 引用
兰州交通大学学报 2020年 第1期39卷 136-141页
作者: 付勇君 兰州交通大学外国语学院
语言符号系统因具有逻辑化、系统化、动态化的特征,汲取了人文社会科学和自然科学中有关信息编码、传输、解码和语义的理论和思想,发展成为新兴的交叉学科研究热点。命题符号、模态符号、感知符号作为认知符号学的重要研究领域,受到国... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
形式语义学与软件工程中的不确定性和自适应研究
收藏 引用
福建电脑 2016年 第7期32卷 82-84页
作者: 梁志荣 肇庆学院教育技术与计算机中心 广东肇庆526061
互联网、物联网环境下,在面向服务的软件开发形式下,研究如何让软件感知环境的动态变化,上下文环境的不确定性和软件系统需求本身的动态性,建立软件的自适应机制以应对处理软件工程中的不确定性。初步的研究思路利用Petri网建立软件的... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
形式语义学和汉语语义研究
收藏 引用
逻辑 2009年 第4期 33-37页
作者: 贾改琴 邹崇理
形式语义学的主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法,这些理论基于各自不同的侧重对自然语言语义展开了研究。从形式语义学角度分析汉语语义,汉语灵活语序的语义问题以及汉语句法和语义的关系... 详细信息
来源: 人大复印报刊资料 评论
形式语义学和词汇语义学
收藏 引用
外语学刊 1983年 第1期 58-69+12页
作者: Manfred BierWisch ,李锡胤
Manfred Bierwisch是欧洲著名语义学家,有Semantics(1970),On classifyingsemantic features(1971)等著作,受到世界语言学界重视。现受聘为欧洲《语言学评论》杂志顾问。本文是他在第十三届国际语言学家会议上发表的论文,其内容是研究语
来源: 同方期刊数据库 同方期刊数据库 评论
形式语义学理论简述
收藏 引用
中国民族博览 2020年 第9期 116-117页
作者: 李晶 太原工业学院 山西太原030000
作为语义学的分支,形式语义学语义学研究发展的过程中占有重要地位。目前的研究对形式语义学相关理论认识不全面,对各个理论分支之间如何有机组合也缺乏明确的认识。本文从形式语义学的起源和发展入手,针对地介绍了形式语义学相关理论... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论