一个关于有穷开放过程的类型论系统

梁晓龙; 鞠实儿

首页> 中文期刊> 《逻辑学研究》 >一个关于有穷开放过程的类型论系统

一个关于有穷开放过程的类型论系统

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

自然界、人类社会和认知领域中普遍存在可扩展的类.它有两种存在形式:潜无穷序列,以及有穷开放类.后者是成员可扩展的类,这种扩展或开放的过程不能无限制地进行下去,且无法给定过程的终点.进一步,开放过程具有不同的分层和阶段,而其生成的类成员以及用于生成类成员的算子也归属于不同层次和不同的阶段.本文主要采用类型论的方法,描述有穷开放过程及其产物有穷开放类,给出了用于描述有穷开放类的分层和分阶段属性的开放类型系统.

著录项

来源
《逻辑学研究》 |2020年第4期|48-71|共24页
作者
梁晓龙; 鞠实儿;
展开▼
作者单位

中山大学逻辑与认知研究所;

中山大学逻辑与认知研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
有穷; 开放; 开放类型系统;

相似文献

中文文献
外文文献
专利

1. 识别Thue系统不可约字集的有穷自动机的一个构作 [J] . 王水汀 . 计算机研究与发展 . 1997,第004期
2. 系统分析和设计过程的范例：—一个工资管理系统的分析和设计过程 [J] . 应红燕 ,敬喜 . 计算机技术 . 1992,第005期
3. 中国改革开放是一个学习和借鉴的过程 [J] . 夏文斌12 ,杜骞3 . 现代国企研究 . 2018,第021期
4. 开放式服务创新:一个基于网络化及过程视角的概念框架 [J] . 王娜 ,陈春琴 . 管理现代化 . 2016,第002期
5. 教育是一个开放的过程 [J] . 傅国涌 . 金融博览 . 2016,第015期
6. BeehiveZ:一个开放的业务过程模型管理框架 [C] . 武年华 ,金涛 ,查海平 . 第27届中国数据库学术会议 . 2010
7. 统一软件开放过程的研究和应用——一个电力系统的电子商务软件开发 [A] . 何晓东 . 2003

一个关于有穷开放过程的类型论系统

摘要

著录项

相似文献

相关主题

期刊订阅