Many-valued logical machines
Published online by Cambridge University Press: 24 October 2008
Extract
McCallum and Smith (1) have developed a logical computer which solves problems which are essentially of the following kind.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 54 , Issue 3 , July 1958 , pp. 307 - 321
- Copyright
- Copyright © Cambridge Philosophical Society 1958
References
REFERENCES
(1)Mccallum, D. B. and Smith, J. B.Mechanized reasoning—logical computers and their design. Electronic Engng, 23 (1951), 126–33.Google Scholar
(3)Sobociński, B.On a universal decision element. J. Comput. Systems, 1 (1953), 71–80.Google Scholar
(4)Rose, A.Sur les élénents universels de décision. C. R. Acad. Sci., Paris, 244 (1957), 2343–5.Google Scholar
(5)Church, A.Conditioned disjunction as a primitive connective for the prepositional calculus. Portug. Math. 7 (1948), 87–90.Google Scholar
(6)Post, E. L.Introduction to a general theory of elementary propositions. Amer. J. Math. 43 (1921), 163–85.Google Scholar
(7)Łukasrewicz, J. and Tarski, A.Untersuchungen über den Aussagenkalkül. C. R. Acad. Sci., Warsaw (3), 23 (1930), 30–50.Google Scholar
(10)Greniewski, H., Bochenek, K. and Marczyński, R.Applications of bi-elemental Boolean algebra to electronic circuits. Studio logica, 2 (1955), 7–76.CrossRefGoogle Scholar
(11)Rose, A. and Parton, J. E. Improvements in or relating to decision element circuits. British Patent Application No. 28685/56.Google Scholar
- 13
- Cited by