13630 results in The Journal of Symbolic Logic
Neal Zierler and Michael Schlessinger. Boolean embeddings of orthomodular sets and quantum logic. Duke mathematical journal, vol. 32 (1965), pp. 251–262.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
- Print publication:
- March 1972
-
- Article
- Export citation
John Myhill. Remarks on the language of physics. Philosophy of science, vol. 30 (1963), pp. 305–306. - H. G. Bohnert. Remarks on Myhill's remarks on coordinate languages. Philosophy of science, vol. 30 (1963), pp. 307–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
- Print publication:
- March 1972
-
- Article
- Export citation
Gerold Stahl. A paratheory of type theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 169–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
- Print publication:
- March 1972
-
- Article
- Export citation
Products of two-sorted structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-80
- Print publication:
- March 1972
-
- Article
- Export citation
A discrete chain of degrees of index sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-149
- Print publication:
- March 1972
-
- Article
- Export citation
Bolesław Sobociński. A note on the regular and irregular modal systems of Lewis. Notre Dame journal of formal logic, vol. 3 (1962), pp. 109–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
- Print publication:
- March 1972
-
- Article
- Export citation
Nelson Goodman. Recent developments in the theory of simplicity. Philosophy and phenomenological research, vol. 19 no. 4 (1959), pp. 429–446.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-177
- Print publication:
- March 1972
-
- Article
- Export citation
Manuel Blum. Recursive function theory and speed of computation. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 9 (1966), pp. 745–750.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
- Print publication:
- March 1972
-
- Article
- Export citation
E. Shamir. On sequential languages and two classes of regular events. Introduction. Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung, vol. 16 (1963), pp. 389–390.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
- Print publication:
- March 1972
-
- Article
- Export citation
J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 295–311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-201
- Print publication:
- March 1972
-
- Article
- Export citation
Seymour Ginsburg, Thomas N. Hibbard, and Joseph S. Ullian. Sequences in context free languages. Illinois journal of mathematics, vol. 9 (1965), pp. 321–337.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- March 1972
-
- Article
- Export citation
Gerold Stahl. Remarks on the incompleteness proof. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 164–170.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
- Print publication:
- March 1972
-
- Article
- Export citation
Gaisi Takeuti. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 65–97. - Gaisi Takeuti. A formalization of the theory of ordinal numbers. The journal of symbolic logic, vol. 30 (1965), pp. 295–317.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-193
- Print publication:
- March 1972
-
- Article
- Export citation
Bolesław Sobociński. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 71–80. - A. N. Prior, K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 299–304. - Bolesław Sobociński. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 305–312. - Bolesław Sobociński. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 313–318. - Ivo Thomas. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 335–336. - Ivo Thomas. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 337–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
- Print publication:
- March 1972
-
- Article
- Export citation
S. R. Kogalovskij. K sémantiké téorii tipov (On the semantics of the theory of types). Izvéstiá vysših učébnyh zavédénij, Matématika, no. 1 (1966), pp. 89–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-194
- Print publication:
- March 1972
-
- Article
- Export citation
R. M. Martin. On the Frege-Church theory of meaning. Philosophy and phenomenological research, vol. 23 no. 4 (1963), pp. 605–609.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- March 1972
-
- Article
- Export citation
Erwin Engeler. Algorithmic properties of structures. Mathematical systems theory, vol. 1 (1967), pp. 183–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- March 1972
-
- Article
- Export citation
Wanda Szmielew. New foundations of absolute geometry. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 168–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 201
- Print publication:
- March 1972
-
- Article
- Export citation
J. C. Abbott. Semi-Boolean algebra. Matematički vesnik, vol. 4 (1967), pp. 177–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 191
- Print publication:
- March 1972
-
- Article
- Export citation
Jean E. Rubin. Bi-modal logic, double-closure algebras, and Hilbert space. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 8 (1962) pp. 305–322.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- March 1972
-
- Article
- Export citation