1. Recorded computer programs, all the aforesaid goods other than in connection with diode-transistor logics

Gespeicherte Computerprogramme, alle vorgenannte Waren nicht im Zusammenhang mit der Dioden-Transistor-Logik

2. Before the end of the ADAMS project, the algebraic approach to canonical formulas opened the way to its application to non-classical logics.

Vor Ende des ADAMS-Projekts eröffnete der algebraische Ansatz zu kanonischen Formeln den Weg zu ihrer Anwendung auf nicht-klassische Logiken.

3. To achieve this, the researchers need a deeper comprehension of duality theory for the algebras of many-valued logics, advance representation theory for algebraic semantics and to map theoretical studies into formal systems geared towards applications.

Dafür benötigen die Forscher ein tieferes Verständnis der Dualitätstheorie für die Algebren der mehrwertigen Logik, eine Weiterentwicklung der Darstellungstheorie für algebraische Semantiken und eine Abbildung der theoretischen Studien in formale Systeme, die auf Anwendungen ausgerichtet sind.