非良基公理的本质及其应用

姚从军

首页> 中文期刊> 《湖北大学学报（哲学社会科学版）》 >非良基公理的本质及其应用

非良基公理的本质及其应用

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

精确图就是具有单射装饰的可达点图.非良基公理可以归结到对精确图外延的确定上.不同的非良基公理对应了不同种类的精确图,进而形成不同的非良基集合论.尽管近些年来AFA吸引了众多人的注意力,但是巴威斯( Barwise)和莫斯(Moss)在证明AFA(每个图有唯一装饰)的合理性和方程解的唯一性中有乞题之嫌;使用AFA处理自指悖论也过于勉强.相比较而言,FAFA是最自然的非良基集合论系统.

著录项

来源
《湖北大学学报（哲学社会科学版）》 |2012年第5期|17-20|共4页
作者
姚从军;
展开▼
作者单位

湖南科技学院思政部,湖南永州425100;

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
非良基公理; 精确图; FAFA; AFA; SAFA;

相似文献

中文文献
外文文献
专利

1. 非良基公理和非良基集合论的域 [J] . 姚从军 . 湖南科技大学学报：社会科学版 . 2014,第1期
2. 非良基集合的外延公理 [J] . 李娜 ,杜文静 . 逻辑学研究 . 2009,第003期
3. 非良基集合理论的研究及其应用 [J] . 杜文静 . 毕节学院学报 . 2011,第008期
4. 非良基集合的域和分类 [J] . 姚从军 . 逻辑学研究 . 2014,第002期
5. 基于互模拟的模态逻辑与非良基集合论之间的关系 [J] . 姚从军 . 毕节学院学报 . 2012,第001期
6. 非良构领域智能教学系统的探究及应用 [C] . 刘丽珍 ,王函石 ,宋巍 . 2015年全国智能科学技术教育暨教学学术研讨会 . 2015
7. 论非良基公理AFA [A] . 赵靓 . 2008

非良基公理的本质及其应用

摘要

著录项

相似文献

相关主题

期刊订阅