Contents
Reviews
Arto Salomaa. On many-valued systems of logic. Ajatus, vol. 22 (1959), pp. 115–159. - Arto Salomaa. On the composition of functions of several variables ranging over a finite set. Annales Universitatis Turkuensis, Series A, Turun Yliopisto, Turku1960, 48 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-293
-
- Article
- Export citation
Takeo Sugihara. A three-valued logic with meaning-operator. The Memoirs of Fukui University, Librasi Arts Department, I. Humanities and social sciences, no. 8 (1958), pp. 59–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
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 (1953), pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 (1953), pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 (1954), pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 (1954), pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 (1954), pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 (1954), pp. 114–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-296
-
- Article
- Export citation
Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système de Feys-von Wright. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 1140–1142. - Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S4 de Lewis. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 2207–2210. - Marcel Guillaume. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S5 de Lewis. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 247 (1958), pp. 1282–1283. - Marcel Guillaume. Calculs de consequences et tableaux d'épreuve pour les classes algébriques générales d'anneaux booléiens à opérateurs. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 246 (1958), pp. 1542–1544.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
Toshio Umezawa. On some properties of intermediate logics. Proceedings of the Japan Academy, vol. 35 (1959), pp. 575–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
Toshio Umezawa. On an application of intermediate logics. Nagoya mathematical journal, vol. 16 (1960), pp. 119–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
-
- Article
- Export citation
Gerold Stahl. An opposite and an expanded system. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 244–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
-
- Article
- Export citation
Henry Hiż. Extendióle sentential calculus. The journal of symbolic logic, vol. 24 no. 3 (for 1959, pub. 1960), pp. 193–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
-
- Article
- Export citation
Carl Lyngholm and Wolfgang Yourgrau. A double-iteration property of Boolean functions. Notre Dame journal of formal logic, vol. 1 (1960), pp. 111–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
-
- Article
- Export citation
B. Dunham and R. Fridshal. The problem of simplifying logical expressions. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 17–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
-
- Article
- Export citation
David E. Muller. Complexity in electronic switching circuits. Transactions of the IRE Professional Group on Electronic Computers, vol. EC-5 no. 1 (1956), pp. 15–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
-
- Article
- Export citation
M. Kochen. Extension of Moore-Shannon model for relay circuits. IBM journal of research and development, vol. 3 (1959), pp. 169–186.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
-
- Article
- Export citation
David A. Huffman. The design and use of hazard-free switching networks. Journal of the Association for Computing Machinery, vol. 4 no. 1 (1957), pp. 47–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
-
- Article
- Export citation
Shintaro Eguchi. Keidenki kairomô no kôsei ni tuite (A new method of assigning secondary relays in sequential switching circuits). Denki-tûsin Gakkai zassi (The journal of the institute of Electrical Communication Engineers of Japan), vol. 41 no. 4 (1958), pp. 5, 475–481.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Tatsuki Watanabe and Soichiro Suto. Tikuzi zigen-keidenki kairo no sado kaiseki-riron (The theory of analysis of sequential time switching circuits). Denki-tûsin Gakkai zassi (The journal of the institute of Electrical Communication Engineers of Japan), vol. 42 no. 6 (1959), pp. 2, 563–568.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
A. D. Talancév. Ob analizé poténcial′no-impul′snyh shém pri pomošči spécial′nyh operátorov péréhoda. Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 320–323. - A. D. Talantsev. On the analysis of potential-pulse networks using special transition operators. English translation of the preceding. Automation express, vol. 2 (1959), pp. 11–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
V. K. Korobkov. Realizaciá simmétričéskih funkcij v klassé Π-shém. Doklady Akademii Nauk SSSR, vol. 109 (1956), pp. 260–263. - V. K. Korobkov. Realization of symmetric functions in the class of II (series-parallel) circuits. English translation of the preceding. Multilith offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 6 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
-
- Article
- Export citation
Other
Elections
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
Notices of meetings of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
Notice of the Society for Industrial and Applied Mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation