-
题名BL*系统和IMTL系统等价性的语构证明
被引量：1
- 1
-
-
作者
周建仁
吴洪博
-
机构
河西学院数学与统计学院
陕西师范大学数学与信息科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2016年第5期41-46,共6页
-
基金
国家自然科学基金(No.11171196)
-
文摘
BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统。对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算形式演绎系统BL*系统,MTL系统,BL系统,IMTL系统之间的联系,为各种模糊命题演算形式演绎系统的研究提供了一个有益的参考。
-
关键词
模糊逻辑
语构理论
IMTL命题系统
BL＊命题系统
等价性
-
Keywords
fuzzy logic
syntactic theory
IMTL system
BL＊system
equivalence
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名基于语料库的南海问题美国(去)合法化话语策略研究
被引量：20
- 2
-
-
作者
龚双萍
张韧
-
机构
国防科技大学文理学院
-
出处
《外语研究》
CSSCI
北大核心
2018年第1期13-18,共6页
-
基金
国家社科基金重大项目"国防和军队改革视野下的国防语言能力建设研究"(编号:16ZDA211)
湖南省哲学社会科学课题"国防冲突话语研究"(编号:14YBA041)的阶段性成果
-
文摘
美国自2010年宣布重返亚太后,不断插手搅浑南海问题,并在南海问题的官方话语中大量使用(去)合法化话语策略。本文借助语料库方法,以美国国防部和国务院2010-2016年关于南海问题的发言为语料,用UAM 3.3d语料标注和分析工具构建语料库,运用合法化话语构建理论为分析框架,探讨了南海问题美国的(去)合法化话语策略的使用情况。本研究有利于发现美国(去)合法化策略使用的隐含意图,并进一步揭示美国官方话语别有用心的本质。
-
关键词
南海争端
语料库
合法化话语构建理论
话语策略
-
分类号
H030
[语言文字—语言学]
-
