Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-29T19:41:26.948Z Has data issue: false hasContentIssue false
  • English
  • Français

Many-valued logical machines

Published online by Cambridge University Press:  24 October 2008

Alan Rose
Alan Rose
Affiliation:
The University Nottingham
Get access Rights & Permissions [Opens in a new window]

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

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
(2)Bowden, B. V.Faster than thought (London, 1953).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
(8)Tarski, A.Logic, semantics, metamathematics (Oxford, 1956).Google Scholar
(9)Rosser, J. B. and Turquette, A. R.Many-valued logics (Amsterdam, 1952).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