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
Abaelard – Ayer| Baader – Burski| Cabanis – Czeżowski | Dacqué- Durkheim | Ebbinghaus- Ewald | Faber- Fritzsche | Galenos- Gunsun Lun | Häberlin- Hypatia | Iamblichos- Iulianus | Jacoby- Juschkewitsch | Kaila- Kurylowicz | LaMettrie – Lykon | Maass- Myia | Nalbandjan- Nyman | Ockham- Owen | Palágyi- Pythagoras | Queccius- Quine | Radischtschew- Ryle | Saarnio- Szumowski | Taine- Tyrsenis | Uphues| Valla- Vorländer | Wahl- Wwedenski | Xeniades- Xenophon | Zadeh- Zoilos