的，或者不能证明任何一个。有效的论证保持跨越变换的证实性，所以从证实的命题推导出来的命题仍是证实的。但是，有些经典逻辑中的证明依赖于排中律；因为在这种方案中不能使用排中律，有些命题就不能用这种方式来证明了。
与模煳逻辑的关系.模煳逻辑是由卢菲特·泽德作为对模煳性的形式化而介入的；模煳就是谓词可以非绝对性的应用于物体的现象，但是有一个特定的程度，并且可以有边界状况。这种逻辑可以用来处理复合三段论悖论（sorites）。不再是两个真值"真"和"假"，模煳逻辑采用了在0，对应于"绝对假"