Zusammenfassung Wir überprüfen vier Bereiche der theoretischen Informatik, die technische oder philosophische Ideen mit Belnaps Arbeiten zu seiner nützlichen vierwertigen Logik teilen. Vielleicht überraschend wird die Inspiration durch die Belnap–Dunn-Logik nur in der Studie der d-Rahmen anerkannt. Die Verbindungen zwischen Belnaps Arbeit und der linearen Logik, dem Blame Calculus oder der Studie von LVars werden nicht offen zugegeben. Der Schlüssel zu drei dieser Verbindungen mit Belnaps Arbeit erfolgt über die Twist-Produkt-Darstellung von Bilattices. Einerseits ermöglicht es uns, die Klasse der Modelle der linearen Logik, die mit der Chu-Konstruktion gebaut wurden, als auf der Belnap–Dunn-Logik basierend zu betrachten. Andererseits sind die Theoreme zur Twist-Produkt-Darstellung wesentliche Bestandteile der Theorie der d-Rahmen und auch der zentrale Satz des Blame Calculus ist im Wesentlichen ein Theorem zur Twist-Produkt-Darstellung, wenn auch mit einem starken beweis-theoretischen Geschmack.
Tomáš Jakl (Thu,) untersuchte diese Frage.