The Journal of Symbolic Logic: Volume 20 -

Mary Prior and Arthur Prior. Erotetic logic. The philosophical review, vol. 64 (1955), pp. 43–59.
Nicholas Rescher
Published online by Cambridge University Press:

12 March 2014, p. 302
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Wolfgang Gröbner. Über die gegenwärtige Krise unserer Kultur. Studium generale, vol. 7 (1954), pp. 122–130.
Carl G. Hempel
Published online by Cambridge University Press:

12 March 2014, p. 191
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Alan Ross Anderson. Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M. The journal of symbolic logic, vol. 19 (1954), pp. 201–214. - Alan Ross Anderson. Correction to a paper on modal logic. The journal of symbolic logic, vol. 20 (1955), p. 150. - Alan Ross Anderson. On alternative formulations of a modal system of Feysvon Wright. The journal of computing systems, vol. 1 no. 4 (1954), pp. 211–212.
Naoto Yonemitsu
Published online by Cambridge University Press:

12 March 2014, pp. 302-303
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

J. C. C. McKinsey and Patrick Suppes. Philosophy and the axiomatic foundations of physics. Actes du XIème Congrès International de Philosophie, Volume VI, Philosophie et méthodologie des sciences de la nature, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 49–54.
A. R. Turquette
Published online by Cambridge University Press:

12 March 2014, pp. 191-192
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Hao Wang. Arithmetic models for formal systems. Methodos, vol. 3 (1951), pp. 217–232.
Solomon Feferman
Published online by Cambridge University Press:

12 March 2014, pp. 76-77
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Takeo Sugihara. Strict implication free from implicational paradoxes. Memoirs of the Faculty of Liberal Arts, Fukui University, ser. 1 no. 4 (1955), pp. 55–59.
Alan Ross Anderson
Published online by Cambridge University Press:

12 March 2014, p. 303
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

P. T. Geach. On insolubilia. Analysis (Oxford), vol. 15 no. 3 (1955), pp. 71–72.
Alonzo Church
Published online by Cambridge University Press:

12 March 2014, p. 192
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

H. Rasiowa. A proof of the compactness theorem for arithmetical classes. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 8–14.
Solomon Feferman
Published online by Cambridge University Press:

12 March 2014, p. 78
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Bolesław Sobociński. Axiomatization of a conjunctive-negative calculus of propositions. The journal of computing systems, vol. 1 no. 4 (1954), pp. 229–242.
Gene F. Rose
Published online by Cambridge University Press:

12 March 2014, pp. 303-304
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Francisco Miró Quesada. Esbozo de una teoría generulizada de las propriedades relacionales. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1172–1177.
Robert Feys
Published online by Cambridge University Press:

12 March 2014, p. 192
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

H. Rasiowa and R. Sikorski. Algebraic treatment of the notion of satisfiability. Fundamenta mathematicae, vol. 40 (1953), pp. 62–95.
Leon Henkin
Published online by Cambridge University Press:

12 March 2014, pp. 78-80
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Anonymous. Problemas de “Theoria.” Problema n.° I.Theoria (Madrid), vol. 1 no. 1 (1952), p. 7.
Alonzo Church
Published online by Cambridge University Press:

12 March 2014, p. 304
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Horacio Schindler. Filosofia y lógica simbólica. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1233–1236.
Robert Feys
Published online by Cambridge University Press:

12 March 2014, p. 192
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

H. Rasiowa and R. Sikorski. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 21–28.
Leon Henkin
Published online by Cambridge University Press:

12 March 2014, p. 80
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Francesco Barone. Preludi del positivismo logico. Filosofia (Turin) vol. 1 (1950), pp. 373–398.
Robert Feys
Published online by Cambridge University Press:

12 March 2014, p. 192
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Karl R. Popper. Degree of confirmation. The British journal for the philosophy of science, vol. 5 (1954–1955), pp. 143–149. - K. R. Popper. Errata and corrigenda. The British journal for the philosophy of science, vol. 5 (1954–1955), p. 359.
John G. Kemeny
Published online by Cambridge University Press:

12 March 2014, pp. 304-305
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

W. Peremans. Metamathematische beschouwingen over de algebra (Metamathematical consideration of algebra). Mimeographed. Mathematisch Centrum, Amsterdam, Rapport ZW1951, 026, 8 pp.
Alfons Borgers
Published online by Cambridge University Press:

12 March 2014, p. 80
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Related Citations
Published online by Cambridge University Press:

12 March 2014, pp. 305-308
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Yehoshua Bar-Hillel. The present state of research on mechanical translation. American documentation (Cambridge, Mass.), vol. 2 (1951), pp. 229–237. - Yehoshua Bar-Hillel. Some linguistic problems connected with machine translation. Philosophy of science, vol. 20 (1953), pp. 217–225. - Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, vol. 29 (1953), pp. 47–58. - Yehoshua Bar-Hillel. Can translation be mechanized?American scientist, vol. 42 (1954), pp. 248–260.
Abraham Kaplan
Published online by Cambridge University Press:

12 March 2014, pp. 192-194
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

John Myhill. The hypothesis that all classes are nameable. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 979–981.
Václav Edvard Beneš
Published online by Cambridge University Press:

12 March 2014, p. 80
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 20 - June 1955

Reviews

Mary Prior and Arthur Prior. Erotetic logic. The philosophical review, vol. 64 (1955), pp. 43–59.

Wolfgang Gröbner. Über die gegenwärtige Krise unserer Kultur. Studium generale, vol. 7 (1954), pp. 122–130.

Hao Wang. Arithmetic models for formal systems. Methodos, vol. 3 (1951), pp. 217–232.

Takeo Sugihara. Strict implication free from implicational paradoxes. Memoirs of the Faculty of Liberal Arts, Fukui University, ser. 1 no. 4 (1955), pp. 55–59.

P. T. Geach. On insolubilia. Analysis (Oxford), vol. 15 no. 3 (1955), pp. 71–72.

H. Rasiowa. A proof of the compactness theorem for arithmetical classes. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 8–14.

Bolesław Sobociński. Axiomatization of a conjunctive-negative calculus of propositions. The journal of computing systems, vol. 1 no. 4 (1954), pp. 229–242.

Francisco Miró Quesada. Esbozo de una teoría generulizada de las propriedades relacionales. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1172–1177.

H. Rasiowa and R. Sikorski. Algebraic treatment of the notion of satisfiability. Fundamenta mathematicae, vol. 40 (1953), pp. 62–95.

Anonymous. Problemas de “Theoria.” Problema n.° I.Theoria (Madrid), vol. 1 no. 1 (1952), p. 7.

Horacio Schindler. Filosofia y lógica simbólica. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1233–1236.

H. Rasiowa and R. Sikorski. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 21–28.

Francesco Barone. Preludi del positivismo logico. Filosofia (Turin) vol. 1 (1950), pp. 373–398.

Karl R. Popper. Degree of confirmation. The British journal for the philosophy of science, vol. 5 (1954–1955), pp. 143–149. - K. R. Popper. Errata and corrigenda. The British journal for the philosophy of science, vol. 5 (1954–1955), p. 359.

W. Peremans. Metamathematische beschouwingen over de algebra (Metamathematical consideration of algebra). Mimeographed. Mathematisch Centrum, Amsterdam, Rapport ZW1951, 026, 8 pp.

Other

Related Citations

Reviews

John Myhill. The hypothesis that all classes are nameable. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 979–981.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 20 - June 1955

Reviews

Other

Reviews