西南师范大学学报（人文社会科学版）
西南師範大學學報（人文社會科學版）
서남사범대학학보（인문사회과학판）
JOURNAL OF SOUTHWEST CHINA NORMAL UNIVERSITY(HUMANITIES AND SOCIAL SCIENCES EDITION)
2006年
1期
70-74
,共5页
常识推理的基础逻辑%集选语义%典范框架%典范模型
常識推理的基礎邏輯%集選語義%典範框架%典範模型
상식추리적기출라집%집선어의%전범광가%전범모형
对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性.Γ-典范模型方法是有穷方法.如果Γ有穷,得到的典范模型有穷.这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的.
對通常的典範模型方法加以改造,在典範結構的基礎上,可建立相對于任意給定有窮公式集Γ的Γ-典範框架和Γ-典範模型,以證明M的框架類完全性.Γ-典範模型方法是有窮方法.如果Γ有窮,得到的典範模型有窮.這不僅可以證明M的完全性,還可證明M的有窮模型性,因此M是可判定的.
대통상적전범모형방법가이개조,재전범결구적기출상,가건립상대우임의급정유궁공식집Γ적Γ-전범광가화Γ-전범모형,이증명M적광가류완전성.Γ-전범모형방법시유궁방법.여과Γ유궁,득도적전범모형유궁.저불부가이증명M적완전성,환가증명M적유궁모형성,인차M시가판정적.
