Emil L. Post

Der 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 sogenannte 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.


[1] Post, E. L.: Introduction to a general theory of elementary propositions. American Journal Mathematics 43 (1921), 163 – 185