具有可判定命题原子的直觉主义一阶逻辑
综合数学
2007-05-23 v3 逻辑
摘要
扩展了可判定命题原子的直觉主义逻辑,在其命题部分结合了经典性质,而对不含命题符号的可推导公式具有直觉主义性质。使用序列演算作为研究此扩展的框架。切割的可容许性得以保持。引入受限Kripke结构以建模具有可判定命题原子的直觉主义逻辑。考察了析取性质与存在性质的范围。有关此研究的最新信息可在 http://sakharov.net/median.html 找到。
引用
@article{arxiv.math/0409070,
title = {First-Order Intuitionistic Logic with Decidable Propositional Atoms},
author = {Alexander Sakharov},
journal= {arXiv preprint arXiv:math/0409070},
year = {2007}
}
备注
18 pages. Enhanced the disjunction theorem