Charles Sanders Peirce
コロンビア大学での博士論文で、ポストは他の様々なことと同時に "Principia Mathematica" の命題計算が完全であること（"Principia" の公理と置換規則とモーダスポネンスを与えられたとき、全ての恒真式は定理であること）を証明した。また、ルートヴィヒ・ウィトゲンシュタインやチャールズ・サンダース・パースとは独立に真理値表を考案した。