Axiomatic Majority-Decision Logic
M. Cohn, R. Lindaman · IEEE Transactions on Electronic Computers · 1961
An algebra suited to logical design with majority-decision elements (parametrons, Esaki diodes, etc.) is developed axiomatically. The utility of the new algebra is demonstrated by resolving sample problems.