%0 Journal Article
%T 分划逻辑的三个特征数
%A 沈恩绍
%J 科学通报
%D 1995
%I 
%X 分划逻辑是新近出现的一类扩充逻辑.它们既具有较强的表达能力,又具有较好的模型论性质.尽管分划量词的引入背景是数学的,但在计算机科学中有一系列的应用.本文在广义模型论的框架之下,进一步研究分划逻辑的若干基本属性,特别是良序数、Hanf数及L(?)wen-heim数这三个特征数.
%K 广义模型论
%K 分划逻辑
%K 特征数
%K 扩充逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=FEC250459AB46FF0ADF2DA7BE1A9F97B&yid=BBCD5003575B2B5F&vid=1371F55DA51B6E64&iid=38B194292C032A66&sid=BC084ACE66B62CC8&eid=BC084ACE66B62CC8&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=1