存在グラフ
パースは存在グラフとして3種類の体系を提案した。
「アルファ」 - 命題論理と二値ブール代数に同型的な体系
「ベータ」 - 等号付き一階述語論理に同型的な体系
「ガンマ」 - 正規様相論理に(ほぼ)同型的な体系
アルファはベータやガンマに内包される。ベータはガンマには内包されない。