超相继式与直觉主义模糊逻辑的证明论
逻辑
2007-05-23 v2
摘要
Takeuti与Titani引入并研究了一种他们称之为直觉主义模糊逻辑的逻辑。该逻辑的特征是基于真值集[0,1]的一阶Goedel逻辑。已知该逻辑是可公理化的，但此前尚无适于证明论处理(因而也适于计算处理)的演绎系统。本文基于Avron关于命题Goedel逻辑的超相继式演算的先前工作，给出了这样一个系统。我们证明该系统是可靠且完备的，并允许割消。Takano关于Takeuti-Titani密度规则可消去性的一个问题得到了肯定的回答。
引用
@article{arxiv.math/0005183,
title = {Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic},
author = {Matthias Baaz and Richard Zach},
journal= {arXiv preprint arXiv:math/0005183},
year = {2007}
}
备注
v.2: 15 pages. Final version. (v.1: 15 pages. To appear in Computer Science Logic 2000 Proceedings.)