13629 results in The Journal of Symbolic Logic
L. Henkin. A theory of propositional types. Fundamenta mathematicae, vol. 52 (1963), pp. 323–344. (See Errata, Fundamenta mathematicae, vol. 53 no. 1 (1963), p. 119.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 385
- Print publication:
- September 1965
-
- Article
- Export citation
P. Andrews. A reduction of the axioms for the theory of propositional types. Fundamenta mathematicae, vol. 52 (1963), pp. 345–350.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 385
- Print publication:
- September 1965
-
- Article
- Export citation
Yehoshua Bar-Hillel. Preface. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. vii–viii. - Yehoshua Bar-Hillel. Introduction. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 1–16. - Yehoshua Bar-Hillel. On syntactical categories. A reprint of XV 220. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 19–37. - Yehoshua Bar-Hillel. Logical syntax and semantics. A reprint of XX 290. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 38–46. - Yehoshua Bar-Hillel. Idioms. A slightly revised reprint of XXIX 68. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 47–55. - Yehoshua Bar-Hillel. Intertranslatability of natural languages. A reprint of Section 2 of XX 192(6). Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 56–58. - Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. A reprint of XX 193(1). Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 61–74. - Yehoshua Bar-Hillel. Some linguistic obstacles to machine translation. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 75–86. (Reprinted from Advances in computers, Volume 1, edited by Franz L. Alt, Academic Press, New York and London 1960, pp. 146–157.) - Yehoshua Bar-Hillel and Eliyahu Shamir. Finite-state languages: formal representations and adequacy problems. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 87–98. (Reprinted from The bulletin of the Research Council of Israel, vol. 8F no. 3 (1960), pp. 155–166.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 382-385
- Print publication:
- September 1965
-
- Article
- Export citation
A formalization of the theory of ordinal numbers1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-317
- Print publication:
- September 1965
-
- Article
- Export citation
A rudimentary definition of addition
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-354
- Print publication:
- September 1965
-
- Article
- Export citation
R. Sikorski. Repressentation and distributivity of Boolean algebras. Colloquium mathematicum, vol. 8 (1961), pp. 1–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
- Print publication:
- September 1965
-
- Article
- Export citation
A. A. Markov. Ob invérsionnoj složnosti sistém funkcij. Doklady Akadémii Nauk SSSR, vol. 116 (1957), pp. 917–919. - A. A. Markov. On the inversion complexity of a system of functions. English translation of the preceding by Morris D. Friedman. Journal of the Association for Computing Machinery, vol. 5 (1958), pp. 331–334.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-379
- Print publication:
- September 1965
-
- Article
- Export citation
Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by B. Meltzer. Oliver & Boyd, Edinburgh and London1962, pp. 37–72.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-362
- Print publication:
- September 1965
-
- Article
- Export citation
J. L. Mackie. Self-refutation — a formal analysis. The philosophical quarterly (St. Andrews), vol. 14 (1964), pp. 193–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
- Print publication:
- September 1965
-
- Article
- Export citation
Jan Łukasiewicz. Uwagi o aksjomacie Nicoda i o “dedukcji uogólniającej”. (Remarks on Nicod's axiom and on “generalizing deduction”). A reprint of 1869. Z zagadnień logiki i filozofii, Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 164–177.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-377
- Print publication:
- September 1965
-
- Article
- Export citation
A. I. Mal′cév. Nérazréšimost′ eléméntarnoj téorii konéčnyh grupp. Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 771–774. - A. I. Mal′cev. Undecidability of the elementary theory of finite groups. English translation of the preceding by A. J. Lohwater. Soviet mathematics, vol. 2 no. 3 (1961), pp. 714–717.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 394
- Print publication:
- September 1965
-
- Article
- Export citation
Notices of meetings of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 403
- Print publication:
- September 1965
-
- Article
- Export citation
Some applications of infinitely long formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-349
- Print publication:
- September 1965
-
- Article
- Export citation
Burton Dreben. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
- Print publication:
- September 1965
-
- Article
- Export citation
Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 (1963), pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of formal logic, vol. 4 (1963), pp. 142–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-367
- Print publication:
- September 1965
-
- Article
- Export citation
G. W. Patterson. What is a code?Communications of the Association for Computing Machinery, vol. 3 no. 5 (1960), pp. 315–318.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 385
- Print publication:
- September 1965
-
- Article
- Export citation
B. Meltzer. Preface. On formally undecidable propositions of Principia mathematica and related systems, by Kurt Gödel, translated by B. Meltzer, with Introduction by R. B. Braithwaite, Oliver & Boyd, Edinburgh and London1962, pp. vii–viii. - R. B. Braithwaite. Introduction. On formally undecidable propositions of Principia mathematica and related systems, by Kurt Gödel, translated by B. Meltzer, with Introduction by R. B. Braithwaite, Oliver & Boyd, Edinburgh and London1962, pp. 1–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-359
- Print publication:
- September 1965
-
- Article
- Export citation
Paul J. Cohen. The independence of the continuum hypothesis. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 (1963), pp. 1143–1148, and vol. 51 (1964), pp. 105–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-403
- Print publication:
- September 1965
-
- Article
- Export citation
Carol R. Karp. A note on the representation of α-complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 705–707.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
- Print publication:
- September 1965
-
- Article
- Export citation
Frederic B. Fitch. Representation of sequential circuits in combinatory logic. Philosophy of science, vol. 25 (1958), pp. 263–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
- Print publication:
- September 1965
-
- Article
- Export citation