On the analysis and synthesis of three-valued digital systems

Many papers about Post algebras may be found in the literature. In particular, References [1] to [4] cover the theory here required.

[1]  C. Y. Lee,et al.  Several-valued combinational switching circuits , 1956, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[2]  A. R. Turquette,et al.  Axiom schemes for m-valued propositions calculi , 1945, Journal of Symbolic Logic (JSL).

[3]  R. D. Berlin.  Synthesis of N-Valued Switching Circuits , 1958, IRE Trans. Electron. Comput..

[4]  C. Y. Lee.  Switching functions on an n-dimensional cube , 1954, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[5]  Robert S. Ledley.  Boolean Matrix Equations in Digital Circuit Design , 1959, IRE Trans. Electron. Comput..

[6]  Roberto Vacca.  A three-valued system of logic and its application to base three digital circuits , 1959, IFIP Congress.

[7]  T. Kilburn,et al.  High-speed digital storage using cylindrical magnetic films , 1960 .

[8]  Emil L. Post.  Introduction to a General Theory of Elementary Propositions , 1921 .

[9]  T. Kilburn,et al.  A parallel arithmetic unit using a saturated-transistor fast-carry circuit , 1960 .

[10]  Montgomery Phister,et al.  Logical design of digital computers , 1958, Digital design and applications.

[11]  D. J. Howarth,et al.  The Manchester University Atlas Operating System Part I: Internal Organization , 1961, Comput. J..

[12]  Gene W. Arant.  A Time-Sequential Tabular Analysis of Flip-Flop Logical Operation , 1957, IRE Trans. Electron. Comput..