谢弗竖与皮尔士箭头（及任意其他真值函数联结词）的自然演绎
逻辑
2017-10-27 v2
摘要
可用于任意有限值逻辑公理化的方法，可应用于获得经典逻辑中所有真值函数联结词（包括谢弗竖（NAND）与皮尔士箭头（NOR））的可靠且完备的引入-消去规则。标准自然演绎系统对单一结论的限制需要引入额外规则以使所得系统完备；这些规则尽管如此仍然简单，并直接对应于经典荒谬规则。省略这些规则则得到所讨论联结词的直觉主义版本系统。
引用
@article{arxiv.1504.05995,
title = {Natural Deduction for the Sheffer Stroke and Peirce's Arrow (And Any Other Truth-Functional Connective)},
author = {Richard Zach},
journal= {arXiv preprint arXiv:1504.05995},
year = {2017}
}