检索结果-南通市图书馆

在Martin－Lof类型论中添加判断的新形式

在线全文

学校读者我要写书评

暂无评论

数学年刊（A辑） 1994年第2期1卷 177-184页

作者：宋方敏南京大学数学系

木文对于添加于Ｍａｒｔｉｎ－Ｌｏｆ类型论的四种新形式判断给出完整的描述．首先列出这些新判断形式的一般规则，然后证明带一个前提的假设判断可由这些新型判断替代，最后，重新作出笛卡儿积的消去和相等性规则使它们有与其他类型相... 详细信息

木文对于添加于Ｍａｒｔｉｎ－Ｌｏｆ类型论的四种新形式判断给出完整的描述．首先列出这些新判断形式的一般规则，然后证明带一个前提的假设判断可由这些新型判断替代，最后，重新作出笛卡儿积的消去和相等性规则使它们有与其他类型相同的式样而且证明新旧规则是等价的．

关键词：类型论判断范畴 M-L类型论

在线全文

学校读者我要写书评

暂无评论

罗素类型论的一种唯名论解释

哲学研究 2022年第6期 117-125页

作者：林静霞汕头大学马克思主义学院

对于罗素类型论中阶序与类型划分的起源与本质,学界主流的实在论解释主张,阶序与类型划分了不同的命题函项,使之对应于不同层级的实体。但这种解释导致量化规则失效和命题函项歧义。近年来,罗素1903—1908年间手稿的面世为重新审视类型... 详细信息

对于罗素类型论中阶序与类型划分的起源与本质,学界主流的实在论解释主张,阶序与类型划分了不同的命题函项,使之对应于不同层级的实体。但这种解释导致量化规则失效和命题函项歧义。近年来,罗素1903—1908年间手稿的面世为重新审视类型论提供了契机。基于非受限变元原则和语义内嵌方法,类型论的唯名论解释认为,阶序与类型是对变元的划分,是反映变元内在结构的句法标记,谓词变元派生于个体变元。唯名论解释实现了罗素逻辑思想的统一性,体现了逻辑作为普遍科学的理念。

关键词：类型论命题函项唯名论解释逻辑主义

网络小说的数据法与类型论——以2018年的749部中国网络小说为考察对象

在线全文

学校读者我要写书评

暂无评论

扬子江（评论） 2019年第5期 53-61页

作者：战玉冰复旦大学中文系

一、总述:从数据法到类型论本文副标题中所说的'2018年中国网络小说'指的是2018年各网络文学平台或相关文学单位申报、推荐给中国网络作家协会(以下简称'网络作协')的文学作品,及中国网络作家协会为举办'2018年中国网络文学排行榜'(以... 详细信息

一、总述:从数据法到类型论本文副标题中所说的'2018年中国网络小说'指的是2018年各网络文学平台或相关文学单位申报、推荐给中国网络作家协会(以下简称'网络作协')的文学作品,及中国网络作家协会为举办'2018年中国网络文学排行榜'(以下简称'网络文学排行榜')而初选出来的作品。

关键词：网络小说情感类现代生活科幻小说网络文学作品小说创作中国网络文学穿越小说类型论

人与社会的风景图——当代小说平民形象类型论

在线全文

学校读者我要写书评

暂无评论

文艺评论 1990年第2期 19-25页

作者：李运抟

为了本文命题的清晰展开,有两个问题首先要略作说明: 1.平民形象的意指。“平民”这个概念的内涵存在着历史与民族的差异,我主要是评价当代小说中的中国当代平民形象。在中国,因为自身的特定历史原因(如工商不兴农业主宰)。

关键词：当代小说平民普通百姓旧中国类型论民族意指人与社会小人物知青小说

语义类型的细化和转换——MG中类型论的新进展

在线全文

学校读者我要写书评

暂无评论

四川师范大学学报（社会科学版） 2018年第3期45卷 88-93页

作者：崔佳悦邹崇理首都经贸大学外国语学院北京100070 四川师范大学逻辑与信息研究所成都610066

自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类... 详细信息

自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类型的细化和语义类型的转换,对自然语言的语义类型进行细致的划分,在MG的类型论中添加语用算子,针对不同语境进行语义类型的转换。

关键词：类型论语义类型蒙太格语法类型细化类型转换

Martin-Lf类型论中不交和的推广和有穷类型的可定义性

在线全文

学校读者我要写书评

暂无评论

数学年刊（A辑） 1994年第4期1卷 472-477页

作者：宋方敏南京大学数学系

本文推广了不交和运算且给出ｎ个类型不交和的规则，借助于它，证明了有穷类型的封闭性和分离性，讨论有穷类型的可定义性，证明Ｎｋ可由Ｎ１和Ｋ个类型不交和而定义以及Ｎｋ可由ＮＫ＋１定义．

关键词：类型论不交和有穷类型的可定义性

从体到派——中国古代风格类型论与文学流派论

在线全文

学校读者我要写书评

暂无评论

学术研究 1993年第4期 76-82页

作者：吴承学广州中山大学中文系

一风格类型是批评家对各种文学作品的风格进行分析而概括出来的。研究风格类型论的发展有特殊的意义,它是研究古人审美感觉发展进化的“活化石”。研究美感的发展,固然离不开具体的艺术作品,它们是美的感性呈现;而风格类型的区分,则是... 详细信息

一风格类型是批评家对各种文学作品的风格进行分析而概括出来的。研究风格类型论的发展有特殊的意义,它是研究古人审美感觉发展进化的“活化石”。研究美感的发展,固然离不开具体的艺术作品,它们是美的感性呈现;而风格类型的区分,则是美感的理性总结。古代文学批评对风格类型的理解和概括,经历了由简至繁、由浅入深的过程,这标志着人们对艺术风格的体察、对美的感受越来越具体、细密,也反映了人们的审美能力的进化。

关键词：文学流派类型论文学派别江西诗派诗歌风格晚唐诗人

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

真理类型论

社会科学辑刊 1994年第3期 23-28页

作者：郑祥福杭州大学哲学系九二级博士生310028

哲学界对真理概念与真理标准的分析与观点形形色色,令人眼花缭乱。究其原因,是由于没有人对真理的类型引起足够的注意。

关键词：真理论可能世界非决定论必然真理真理标准语境类型论真理观价值取向语用学

在线全文

学校读者我要写书评

暂无评论

汉语实词模糊性显现形式及类型论要

汉语学习 1989年第4期 13-14页

作者：程娟北京语言学院语文系

对汉语实词的模糊特点我们曾逐一作过具体的分析,这里就词义模糊性的显现形式和词义的模糊类型作一简要论述。一、词义模糊性的显现形式汉语实词模糊性的显现形式主要有两种类型:一种是根据词义自身就可分析或判断一个词究竟是明确... 详细信息

对汉语实词的模糊特点我们曾逐一作过具体的分析,这里就词义模糊性的显现形式和词义的模糊类型作一简要论述。一、词义模糊性的显现形式汉语实词模糊性的显现形式主要有两种类型:一种是根据词义自身就可分析或判断一个词究竟是明确的还是模糊的。名词、动词、形容词、数词、副词等大都属于这种情形。不论词是单义或是多义,根据每个义项的意义都可得出明确的结论。如名词的“拂晓”,《现代汉语词典》(以下简称《词典》)释义为“天快亮的时候。”“天快亮”

关键词：显现形式词模类型论汉语表量词义模糊模糊类型模糊性名词模糊词