×

形式无否定系统的一种。 (英语。俄文原件) Zbl 0599.03023号

莫斯科。数学大学。牛市。 39,第2期,37-41页(1984年); 由Vestn翻译。莫斯科。州立大学。I 1984年,第2期,第27-31页(1984年)。
无否定谓词演算(NPC)系统由两步程序构成。首先给出了一个基本系统(BS),然后给出了识别BS中NPC-容许演绎的准则。直觉上,如果存在满足前提所描述条件的对象,则演绎是NPC-允许的。这就要求有这样的对象,这是BS的一个定理。给出了NPC的一个Kripke语义,该语义的正确性和完整性得到了证明,但没有得到证明。
审核人:G.福布斯

MSC公司:

03B60号 其他非经典逻辑
03B55号 中间逻辑
03秒20 经典逻辑子系统(包括直觉逻辑)
PDF格式BibTeX公司 XML格式引用