一阶逻辑有限公理模式化中的独立性问题
逻辑
2026-03-09 v3
摘要
我们回顾了 Norman Megill 引入的经典一阶逻辑有限公理模式化中的一些独立性结果。我们还证明了该系统的某一公理模式是独立的，尽管其所有实例均可由其他公理模式证明。
引用
@article{arxiv.2202.10383,
title = {Independence questions in a finite axiom-schematization of first-order logic},
author = {Benoit Jubin},
journal= {arXiv preprint arXiv:2202.10383},
year = {2026}
}
备注
25 pages; v2: typos, add a partial independence result; v3: revisions following reviewer's remarks: strengthen Prop 1.1, new Prop 1.2 (to fix proof of Prop 3.5), new Prop 1.4, strengthen and/or fix independence results for modus ponens, peirce, generalization, spec, modal5, equality axioms, predicate axioms, vacGen, new Prop 3.11, various clarifications and typos