期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

分划逻辑的三个特征数

原文传递

导出

摘要分划逻辑是新近出现的一类扩充逻辑.它们既具有较强的表达能力,又具有较好的模型论性质.尽管分划量词的引入背景是数学的,但在计算机科学中有一系列的应用.本文在广义模型论的框架之下,进一步研究分划逻辑的若干基本属性,特别是良序数、Hanf数及L(?)wen-heim数这三个特征数.

作者沈恩绍

机构地区上海交通大学计算机系

出处《科学通报》 EI CAS CSCD 北大核心 1995年第3期201-203,共3页 Chinese Science Bulletin

基金国家自然科学基金国家教委留学回国人员科研资助项目

关键词广义模型论分划逻辑特征数扩充逻辑

分类号 O141.3 [理学—基础数学]

引文网络
相关文献

参考文献1

1沈恩绍.分划逻辑与传递闭包逻辑[J].科学通报,1993,38(14):1271-1272. 被引量：2

共引文献1

1沈恩绍.分划逻辑与着色卵石博奕[J].数学进展,1995,24(6):540-546. 被引量：1

1沈恩绍.分划逻辑与传递闭包逻辑[J].科学通报,1993,38(14):1271-1272. 被引量：2
2沈恩绍.分划逻辑与着色卵石博奕[J].数学进展,1995,24(6):540-546. 被引量：1
3别荣芳,沈恩绍.Z-自动机与分划逻辑[J].数学学报（中文版）,1998,41(1):67-74.
4田启家,沈恩绍,沈复兴.Monadic分划逻辑中的Fraisse定理[J].北京师范大学学报（自然科学版）,1995,31(3):285-289.
5别荣芳.字的～L（MP）等价类数目[J].数学进展,1997,26(6):545-550.
6黄青.分划扩充命题时态逻辑关于stutter不变性的特征定理[J].计算机科学,2005,32(6):99-102.
7霍书全.推理关系形式化产生的问题及哲学思考[J].广东广播电视大学学报,2006,15(4):29-32.

科学通报

1995年第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部