(10) 作为侧面的评论,不得不被提到P·博纳斯(P.Bernays)在[博纳斯,1926]中使用多于经典逻辑通常的二值来研究经典命题演算系统中公理系统的独立性问题.但在他所研究的情况中,多值(multiple values)只是不可证明性结果的形式工具.
(11) 看起来,就作者所知的最大限度,对有穷值哥德尔逻辑并没有单独的代数研究.然而,原则上,具有m元素的海汀代数应该为Gm做这项工作.
(12) 四值语义学的类型可能被用来为相干逻辑的不同系统给出充分的语义学解释.在这里我们不做详细的探讨.有兴趣的读者可参见[普林斯特(Priest)和西尔万(Sylvan),1992;瑞斯特(Restall),1995].
(1