Emil Leon Post (* 11. Februar 1897 in Augustów, Polen; ? 21. April 1954 in New York, USA)

Der polnisch-amerikanische Mathematiker und Logiker E. L. Post hat unabhängig von ?ukasiewicz und etwa gleichzeitig Systeme mehrwertiger Aussagenlogik betrachtet.

Post entwickelte diese Systeme im Kontext der Untersuchung der klassischen Aussagenlogik, insbesondere ihrer funktionalen Vollständigkeit. Post führt beliebige entdlichwertige Systeme ein [1].

Post diskutiert den Fall, dass außer dem Wert 1 noch weitere Quasiwahrheitswerte ausgezeichnet sein können.

Post verwendet dabei als Negation die so genannte Post-Negation und als Alternative die ?ukasiewicz-Tarski-Alternative.

Es findet sich bei Post eine Implikation, die eine Kopplung der ?ukasiewicz-Tarksi-Implikation und der Gödel-Implikation ist und von mir Post-Implikation genannt wird.