反基础公理的逻辑研究
A Logical Study of Anti-Foundation Axioms
图书简介
《反基础公理的逻辑研究》包含三编,第Ⅰ编:为用图刻画的各种反基础公理系统(ZFC-+AFA(或者SAFA、FAFA以及反基础公理家族AFA~))建立不同的集论模型,从而证明各种反基础公理与ZFC-的相对协调性。第Ⅱ编:修正、完善并丰富了巴威斯(J.Barwise)等人用代数方法——方程组刻画的反基础公理——解引理的理论。第Ⅲ编:包括两个附录。附录1——给出了结构之间的互模拟理论。附录2——给出了项目研究期间发表的四篇论文。
作者简介
图书目录
相关推荐
-
图书 STIT逻辑研究
作者:贾青
图书 STIT逻辑研究
-
2
图书 墨经逻辑研究
作者:杨武金
图书 墨经逻辑研究
-
3
图书 汉传因明的逻辑研究
作者:傅光全
图书 汉传因明的逻辑研究
-
4
图书 确证难题的逻辑研究
作者:顿新国
图书 确证难题的逻辑研究
-
5
图书 中国表示法及其逻辑研究
作者:杜国平
图书 中国表示法及其逻辑研究
-
6
图书 防策略投票理论的逻辑研究
作者:孙雯
图书 防策略投票理论的逻辑研究
-
7
图书 逻辑基础问题
作者:[美]吉拉·谢尔
图书 逻辑基础问题
-
8
图书 基于覆盖律则的反事实条件句逻辑研究
作者:胡怀亮
图书 基于覆盖律则的反事实条件句逻辑研究
-
9
图书 本体论的逻辑基础:奎因逻辑观研究
作者:阴昭晖
图书 本体论的逻辑基础:奎因逻辑观研究
-
10
图书 非帕斯卡概率逻辑的哲学基础与应用研究
作者:沈振东
图书 非帕斯卡概率逻辑的哲学基础与应用研究
豆瓣评论