Wang Hao. Tag systems and lag systems. Mathematische Annalen, vol. 152 , pp. 65–74.Cocke John and Minsky Marvin. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 , pp. 15–20.Cook Stephen A.. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 , pp. 223–225 [Book Review]

Journal of Symbolic Logic 36 (2):344 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270314

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
Tag Systems and Lag Systems.Hao Wang, John Cocke, Marvin Minsky & Stephen A. Cook - 1971 - Journal of Symbolic Logic 36 (2):344-344.
Yasuhara Ann. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 , pp. 167–171. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.
Patrick C. Fischer. On formalisms for Turing machines. Journal of the Association for Computing Machinery, vol. 12 , pp. 570–580. - Stål Aanderaa and Patrick C. Fischer. The solvability of the halting problem for 2-state Post machines. Journal of the Association for Computing Machinery, vol. 14 , pp. 677–682. - Patrick C. Fischer. Quantificational variants on the halting problem for Turing machines. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 , pp. 211–218. [REVIEW]Gabor T. Herman - 1971 - Journal of Symbolic Logic 36 (3):532-534.
Goodell John D.. Decision elements. Radio-electronic engineering , 07 1952, pp. 3–5. Goodell John D.. The foundations of computing machinery. The journal of computing systems, vol. 1 no. 1 , pp. 1–13.Lode Tenny. The realization of a universal decision element. The journal of computing systems, vol. 1 no. 1 , pp. 14–22. [REVIEW]Nelson M. Blachman & William W. Boone - 1953 - Journal of Symbolic Logic 18 (3):283-284.
Quantum Computing’s Classical Problem, Classical Computing’s Quantum Problem.Rodney Van Meter - 2014 - Foundations of Physics 44 (8):819-828.
Goodell John D.. The foundations of computing machinery. Part II. The journal of computing systems , vol. 1 no. 2 , pp. 86–110. [REVIEW]Nelson M. Blachman - 1953 - Journal of Symbolic Logic 18 (4):348-349.
House R. W. and Rado T.. On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems. Journal of the Association for Computing Machinery, vol. 10 , pp. 48–77. [REVIEW]Thomas H. Mott - 1967 - Journal of Symbolic Logic 32 (2):264-265.
Burkhart W. H.. Theorem minimization. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 259–263. [REVIEW]Raymond J. Nelson - 1953 - Journal of Symbolic Logic 18 (4):348-348.
Burkhart W. H.. A method for synthesis of two-valued feedback circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 265–272. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):56-56.
Semon Warren L.. Characteristic numbers and their use in the decomposition of switching functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 273–280. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):57-57.
Kalin Theodore A.. Formal logic and switching circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 251–257. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):345-346.
Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 , pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 , pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 , pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 , pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
Jeffrey Richard C.. Arithmetical analysis of digital computing nets. Journal of the Association for Computing Machinery, vol. 3 , pp. 360–375. [REVIEW]E. J. McCluskey - 1960 - Journal of Symbolic Logic 25 (2):190-191.
Elgot Calvin C.. On single vs. triple address computing machines. Journal of the Association for Computing Machinery, vol. 1 no. 3 , pp. 119–123. [REVIEW]Raymond J. Nelson - 1956 - Journal of Symbolic Logic 21 (2):208-209.

Analytics

Added to PP
2016-06-30

Downloads
26 (#599,088)

6 months
5 (#633,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references