迪克·乔恩。 一类直觉连接词。 （英语） Zbl 0479.03015号 克莱恩交响乐团。，程序。，麦迪逊/威斯康星州，1978年，《发现逻辑研究》。数学。，第101卷，第103-111页（1980年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4个 +5 显示扫描页面 引用于1审查引用于6文件 MSC公司： 03B60号 其他非经典逻辑 03楼55 直觉数学 关键词：直觉逻辑；等价的真类-公式类；双变量命题逻辑；无限析取；一类互不等价公式；克里普克模型 引文：Zbl 0436.00007号 PDF格式BibTeX公司 XML格式