Last updated 10th July 2024: 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 17 Issue 1

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 17 - Issue 1 - March 1952

Reviews

Henry Veatch. Basic confusions in current notions of propositional calculi. The Thomist, vol. 14 (1951), pp. 238–258.

Alan Rose. A formalization of the C-0 propositional calculus. Proceedings of the Cambridge Philosophical Society, vol. 47 (1951), pp. 635–636.

R. K. P. Singh and R. Shukla. A note on Gôtlind's axiom system for the calculus of propositions. The mathematics student, vol. 18 (1950), pp. 108–110.

Jan Kalicki. On Tarski's matrix method. Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, vol. 41 (for 1948, pub. 1950), pp. 130–142.

Yuki Wooyenaka. Remark on a set of postulates for distributive lattices. Proceedings of the Japan Academy, vol. 27 (1951), pp. 162–165.

C. H. Whiteley. The idea of logical form. Mind, n.s. vol. 60 (1951), pp. 539–541.

Norwood R. Hanson. Mr. Pap on synonymity. Mind, n.s. vol. 60 (1951), pp. 548–549.

Bernard Mayo. “Rules” of language. Philosophical studies, vol. 2 (1951), pp. 1–7. - Vaclav Edvard Benes. Mr. Mayo on “rules” of language. Philosophical studies, vol. 2 (1951), pp. 33–36.

W. H. Hay and J. R. Weinberg. Concerning allegedly necessary nonanalylic propositions. Philosophical studies, vol. 2 (1951), pp. 17–21. Corrections in a mimeographed supplement to Philosophical studies, vol. 2 no. 4.

Yehoshua Bar-Hillel. Comments on logical form. Philosophical studies, vol. 2 no. 4., pp. 26–29.

Roderick M. Chisholm. Reichenbach on observing and perceiving. Philosophical studies, vol. 2 no. 4. pp. 45–48.

R. M. Martin. Some comments on truth and designation. Analysis (Oxford), vol. 10 no. 3 (1950), pp. 63–67. - P. T. Geach. Designation and truth—a reply. Analysis (Oxford), vol. 10 no. 5 (1950), pp. 118–119.

R. M. Martin and J. H. Woodger. Toward an inscriptional semantics. The journal of symbolic logic, vol. 16 (1951), pp. 191–203.

H. Rasiowa and R. Sikorski. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 (for 1950, pub. 1951), pp. 193–200.

A. A. Markov. On the representation of recursive functions. English translation of XV 66 (2). American Mathematical Society, translation number 54. Lithoprinted. New York1951, 13 pp.

Lászlô Kalmár. Contributions to the reduction theory of the decision problem. First paper. Prefix (X1)(x2)(Ex3) … (Exn−1) (xn), a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae (Budapest), vol. 1 no. 1 (1950), pp. 64–73.

Alonzo Church. Special cases of the decision problem. Revue philosophique de Louvain, Bd. 49 (1951), S. 203–221.

A. M. Turing. The word problem in semi-groups with cancellation. Annals of mathematics, ser. 2 vol. 52 (1950), pp. 491–505.

Haskell B. Curry. A simplification of the theory of combinators. Synthese, vol. 7 (1948–1949), pp. 391–399.

Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Second printing. Lithoprinted. Princeton University Press, Princeton1951, 82 pp.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 17 - Issue 1 - March 1952

Reviews