The Journal of Symbolic Logic: Volume 22 - Issue 3

Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website: https://www.cambridge.org/news-and-insights/technical-incident

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 22 Issue 3

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 - Issue 3 - September 1957

Reviews

Robert Blanché. Quantity, modality, and other kindred systems of categories. Mind, n.s. vol. 61 (1952), pp. 369–375.

Heinrich Behmann. Die typenfreie Logik und die Modalität. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentalre et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 88–96.

Arata Ishimoto. A note on the paper “A set of axioms of the modal propositional calculus equivalent to S3.” The science of thought, no. 2 (1956), pp. 69–72. - Arata Ishimoto. A formulation of the modal propositional calculus equivalent to S4. The science of thought, no. 2 (1956), pp. 73–82.

Alan Ross Anderson. Independent axiom schemata for S5. The journal of symbolic logic, vol. 21 (1956), pp. 255–256.

Wilhelm Ackermann. Begründung einer strengen Implikation. The journal of symbolic logic, vol. 21 (1956), pp. 113–128.

Atwell R. Turquette. Many-valued logics and systems of strict implication. The philosophical review, vol. 63 (1954), pp. 365–379.

A. N. Prior. Many-valued and modal systems: An intuitive approach. The philosophical review, vol, 64 (1955), pp. 626–630.

Erik Götlind. A Leśniewski-Mihailescu-theorem for m-valued propositional calculi. Portugaliae mathematica, vol. 10 (1951), pp. 97–102.

Erik Götlind. Some Sheffer functions in n-valued logic. Portugaliae mathematica, vol. 11 (1952), pp. 141–149.

Ryōichi Takekuma. On a nine-valued propositional calculus. The journal of computing systems, vol. 1 no. 4 (1954), pp. 225–228.

Helena Rasiowa. O pewnym fragmencie implikacyjnego rachunku zdań (On a fragment of the implicative propositional calculus). Polnisch, mit Auszügen in Russisch und Englisch. Studia logica, Bd. 3 (1955), S. 208–226.

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.

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

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.

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.

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.