法直到1914年他故去。
图形.皮尔士提出了三个存在图系统:"Alpha"嵌套于"beta"和"gamma" 中。"Beta"不嵌套于"gamma"中，量化的模态逻辑超出了皮尔士的视野。
Alpha.语法是:语义是:一个对象的深度是包围它的切的数目。推理规则:等价规则:证明按照一系列步骤操纵一个图，每个步骤都由上述规则中一个来证实，直到这个图被简约为一个空切或空白页。可以如此简约的图现在叫做重言式或矛盾。不能简约超过一个特定点的图类似