非传统视角下的直觉主义存在图
逻辑
2017-05-30 v1
摘要
在本文中，我们发展了由Arnol Oostra [4]提出的直觉主义存在图的一个新版本。本文提出的演绎规则与Yuri Poveda [5]著作中描述的规则含义相同，因为根据切分奇偶性的演绎被消除并代之以一组有限的递归规则。以此方式，——用于直觉主义命题逻辑的存在图系统——遵循Poveda [5]所描述的系统的演绎规则进程，并且等价于直觉主义命题演算。在这种表示中，系统得到改进，引入了一系列先前未考虑的二阶演绎规则，从而允许更好地管理演绎；最后，从Van Dalen [6]提出的思想出发，在演绎技术中融入了一种混合，即将Gentzen系统的自然演绎与新的系统规则和相结合。为表示提出的符号将绘图通常拓扑中的开集、闭集和准开集与直觉主义命题逻辑联系起来，有助于从更几何的视角处理该逻辑表示中的新问题。
引用
@article{arxiv.1705.09735,
title = {Intuitionistic Existential Graphs from a non traditional point of view},
author = {Yuri A. Poveda and Steven Zuluaga},
journal= {arXiv preprint arXiv:1705.09735},
year = {2017}
}