Vier Prägungen von Belnaps nützlicher vierwertiger Logik in der Informatik | Synapse