直觉主义控制逻辑的否定片段
逻辑
2014-08-12 v1 计算机科学中的逻辑
摘要
我们研究了直觉主义控制逻辑 (ICL) 的单值纯否定片段的性质。该逻辑通过在直觉主义命题逻辑 (IPL) 的语言中增加一个新的假 (falsum) 常元，由 IPL 扩展而来。拥有两个不同的假常元使得可以定义两种形式的否定。我们分析了否定单值公式之间的蕴涵关系，并给出了 ICL 该片段中不等价公式的偏序集。
引用
@article{arxiv.1408.2129,
title = {Negational Fragment of Intuitionistic Control Logic},
author = {Anna Glenszczyk},
journal= {arXiv preprint arXiv:1408.2129},
year = {2014}
}
备注
Draft, 22 pages