Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 22

The Journal of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 22 - March 1957

Reviews

Andrzej Grzegorczyk. Uwagi o rozumieniu praw logiki (Bemerkungen über das Verstehen logischer Gesetze). Myśl filozoficzna, Bd. 1 (15) (1955), S. 206–221.

Stig Kanger. A note on partial postulate sets for propositional logic. Theoria (Lund), vol. 21 (1955), pp. 99–104.

Arthur Pap. The linguistic hierarchy and the vicious circle principle. Philosophical studies (Minneapolis), vol. 5 (1954), pp. 49–53.

Karl Schröter. Deduktiv abgeschlossene Mengen ohne Basis. Mathematische Nachrichten, vol. 7 (1952), pp. 293–304.

L. O. Kattsoff. Ontology and the choice of languages. 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 Éditions E. Nauwelaerts, Louvain 1953, pp. 26-32.

Allen Newell and Herbert A. Simon. The logic theory machine. A complex information processing system. Institute of Radio Engineers, Transactions on information theory, vol. IT-2 no. 3 (1956), pp. 61–79.

Arthur W. Burks and Irving M. Copi. The logical design of an idealized general-purpose computer. Journal of the Franklin Institute, vol. 261 (1956), pp. 299–314, 421–436.

Jason Xenakis. The logic of proper names. Methodos, vol. 7 no. 25–26 (1955), pp. 13–24.

M. E. Olds. Synonymity: extensional isomorphism. Mind, n.s. vol. 65 (1956), pp. 473–488.

V. I. Šéstakov. Modélirovanié opéracij isčisléniá prédložénij posrédstvom prostéjših čétyréhpolúsnyh shém (The modeling of the propositional calculus by means of simple four-terminal networks). Vyčislitél'naá matématika i vyčislitél'naá téhnika, no. 1 (1953), pp. 56–89.

V. I. Šéstakov. Algébraičéskij métod sintéza mnogotaktnyh sistém r-pozicionnyh rélé (An algebraic method for the synthesis of r-positional switching circuits). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 62–65.

Erik Stenius. Linguistic structure and the structure of experience. Theoria (Lund), vol. 20 (1954), pp. 153–172.

A. Š. Bloh. Sintéz kontaktnyh (p, q)-polúsnikov (Synthesis of (p, q) contact networks). Doklady Akadémii Nauk SSSR, vol. 111 (1956), pp. 1017–1019.

Warren C. Haggstrom. On careful reasoning in ordinary language. Analysis (Oxford), vol. 12 no. 4 (1952), pp. 82–85.

Ernest H. Hutten. The mind-body problem. Methodos, vol. 5 (1953), pp. 187–202.

G. N. Povarov. K matématičéskoj téorii sintéza kontaktnyh (1, k)-polúsnikov (A contribution to the mathematical theory of (1, k) contact networks). Doklady Akadémii Nauk SSSR, vol. 111 (1956), pp. 102–104.

Ernest H. Hutten. Natural and scientific language. Philosophy, vol. 29 (1954), pp. 27–43.

George H. Mealy. A method for synthesizing sequential circuits. The Bell System technical journal, vol. 34 (1955), pp. 1045–1079.

Related Citations

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 22 - March 1957

Reviews