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 16

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 16 - December 1951

Reviews

Gonzalo Zubieta R. Sobre la substitución de las variables funcionales en el cáculo funcional de primer orden. Boletin de la Sociedad Matemática Mexicana, vol. 7 no. 1–2 (1950), pp. 1–21.

Alan Rose. A lattice-theoretic characterisation of three-valued logic. Journal of the London Mathematical Society, vol. 25 (1950), pp. 255–259. - Alan Rose. Post lattices. Norsk matematisk tidsskrift, vol. 32 (1950), pp. 40–41.

John R. Myhill. A reduction in the number of primitive ideas of arithmetic. The journal of symbolic logic, vol. 15 (1950), p. 130.

Clarence Irving Lewis and Cooper Harold Langford. Symbolic logic. Dover Publications, Inc., New York1951, 7 pp. + pp. 3–506.

Daniel Dugué. L'infini en logique et les éléments définis et non calculables. Bulletin de la Société Royale des Sciences de Liège, vol. 19 (1950), pp. 490–499.

Frank Harary. On complete atomic proper relation algebras. The journal of symbolic logic, vol. 15 (1950), pp. 197–198.

Arthur H. Copeland. Implicative Boolean algebra. Mathematische Zeitschrift, vol. 53 (1950), pp. 285–290.

W. Peremans. Een opmerking over intuilionistische logica (A remark on intuitionistic logic). Mimeographed. Mathematisch Centrum, Amsterdam, Rapport Z. W.1949, 016, 4 pp.

Ivo Thomas. The logical square and modes of categorical syllogism. Contemplations presented to The Dominican Tertiaries of Glasgow 1924–1949, Blackfriars, Oxford (1949), offprint 14 pp.

Hermann Wendelin. Untersuchungen zur Mengenalgebra. Journal für die reine und angewandte Mathematik, vol. 188 (1950), pp. 78–99.

B. Ú. Pil'čak. O problémé razréšimosti dlá isčisléniá zadač (On the decision problem for the calculus of problems.) Doklady Akadémii Nauk SSSR, vol. 75 (1950), pp. 773–776.

Yrjö Reenpää. Die Dualität des Verstandes. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, 1950, no. 7, pp. 341–414. Reprinted, Springer-Verlag, Heidelberg 1950, 76 pp.

Wilhelm Britzelmayr. Interpretation von Kalkülen. Synthese, vol. 7 (1948–1949), pp. 50–57.

K. Wagner. Zum Repräsentanlenproblem der Logik für Aussagenfunktionen mit beliebig endlich oder unendlich vielen Wahrheitswerten. Mathematische Zeitschrift, vol. 53 no. 4 (1950), pp. 364–374.

Tadashi Michiura. On characteristic properties of Boolean algebras. Journal of the Osaka Institute of Science and Technology, Part I, mathematic s and physics, vol. 1 (1949), pp. 129–133.

Friedrich Waismann. The many-level-structure of language. Synthese, vol. 5 (1946–1947), pp. 221–229.

Alfons Borgers. Development of the notion of set and of the axioms for sets. Synthese, vol. 7 (1948–1949), pp. 374–390.

Evert W. Beth. Logical and psychological aspects in the consideration of language. Synthese, vol. 5 (1946–1947), pp. 542–544.

Karl Dürr. Der Begriff der Funktion in der symbolischen Logik. Synthese, vol. 7 (1948–1949), pp. 418–427.

Robert McNaughton. A theorem about infinite-valued sentential logic. The journal of symbolic logic, vol. 16 (1951), pp. 1–13.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 16 - December 1951

Reviews