13630 results in The Journal of Symbolic Logic
A. K. Choudhury and M. S. Basu. On detection of group invariance or total symmetry of a Boolean function. Indian journal of physics, vol. 36 (1961), pp. 31–42; also Proceedings of the Indian Association for the Cultivation of Science, vol. 45 (1961), pp. 31–42. - C. L. Sheng. Detection of totally symmetric Boolean functions. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 924–926. - A. K. Choudhury and S. R. Das. Comment on “Detection of totally symmetric Boolean functions.”IEEE transactions on electronic computers, vol. EC-15 (1966), p. 813. - C. L. Sheno. Author's reply. IEEE transactions on electronic computers, vol. EC-15 (1966), p. 813.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-695
- Print publication:
- December 1971
-
- Article
- Export citation
Aubert Daigneault. Tensor products of polyadic algebras. The journal of symbolic logic, t. 28 n° 3 (pour 1963, pub. 1964), p. 177–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 683
- Print publication:
- December 1971
-
- Article
- Export citation
Richmond H. Thomason. Symbolic logic. An introduction. The Macmillan Company, Collier-Macmillan Limited, London1970, xiii + 367 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 678
- Print publication:
- December 1971
-
- Article
- Export citation
Alan Rose. Extensions of some theorems of Schmidt and McKinsey, I. Norsk matematisk tidsskrift, vol. 34 (1952), pp. 1–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 690
- Print publication:
- December 1971
-
- Article
- Export citation
J. C. C. McKinsey and Patrick Suppes. On the notion of invariance in classical mechanics. The British journal for the philosophy of science, vol. 5 (1954–1955), pp. 290–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 675-676
- Print publication:
- December 1971
-
- Article
- Export citation
V. S. Čérnávskij. Ob odnom klassé normal′nyh algorifmov Markova. Logičéskié isslédovaniá, Sborník statéj, Izdatél′stvo Akadémii Nauk SSSR, Moskau1959, S. 263–299. - V. S. Černjavskií. On a class of normal Markov algorithms. Englische Übersetzung des Vorhergehenden, von J. M. Danskin. American Mathematical Society Translations, Folge 2, Bd. 48 (1965), S. 1–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 693
- Print publication:
- December 1971
-
- Article
- Export citation
On descendingly incomplete ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 650-652
- Print publication:
- December 1971
-
- Article
- Export citation
Yosmndo Suzuki. On the uniformization principle. 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. 137–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 687
- Print publication:
- December 1971
-
- Article
- Export citation
Roman Suszko. A note concerning the binary quantifiers. Theoria (Lund), vol. 28 (1962), pp. 269–276.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
- Print publication:
- December 1971
-
- Article
- Export citation
Notice of two directories of philosophy
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 710
- Print publication:
- December 1971
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Atlantic City, 1971
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-710
- Print publication:
- December 1971
-
- Article
- Export citation
Gerald J. Massey. Binary closure-algebraic operations that are functionally complete. Notre Dame journal of formal logic, vol. 11 (1970), pp. 340–342.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
- Print publication:
- December 1971
-
- Article
- Export citation
Hugo Bergmann. Probleme des Existenzbegriffes. Theoria (Lund), Bd. 16 (1950), S. 21–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-673
- Print publication:
- December 1971
-
- Article
- Export citation
Wolfram Schwabhäuser. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 312–328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1971
-
- Article
- Export citation
Jacques Sublet. Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris-25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-special”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 91–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
- Print publication:
- December 1971
-
- Article
- Export citation
Frank B. Cannonito. The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference, San Francisco, Calif., May 1–3, 1962, vol. 21, The National Press, Palo Alto1962, pp. 71–77.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 693
- Print publication:
- December 1971
-
- Article
- Export citation
David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 (1969), pp. 35–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 692
- Print publication:
- December 1971
-
- Article
- Export citation
A. Heyting. Méthodes et problèmes de l'intuitionnisme. Actes du Colloque de Mathématiques réuni à Clermont à l'Occasion du Tricentenaire de la Mort de Blaise Pascal, 4–8 Juin 1962, Volume I, Introduction et logique mathématique, Annales de la Faculté des Sciences de l'Université de Clermont, no. 7, Mathématiques, part 1, Imprimerie Louis-Jean, Gap 1962, pp. 101–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-675
- Print publication:
- December 1971
-
- Article
- Export citation
G. W. Turner. Time and place logic, a further discussion of A. N. Prior's ‘Thank goodness that's over’ (XXV 343(3)). Philosophy, vol. 36 (1961), pp. 366–367.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
- Print publication:
- September 1971
-
- Article
- Export citation
Hans Freudenthal. Analyse mathématique de certaines structures linguistiques. Folia biotheoretica, vol. 5 (1960), pp. 81–89; also La biologie et la philosophie, Quatre communications données à l'occasion du Symposium de Rome, 1–8 avril 1959, E. J. Brill, Leyden 1960, pp. 81–89. - P. Bernays. H. Freudenthal, F. Gonseth, M. Fréchet, J. Ladrière, B. Segre. Discussion. Folia biotheoretica, vol. 5 (1960), pp. 89–95; also La biologie et la philosophie, Quatre communications données à l'occasion du Symposium de Rome, 1–8 avril 1959, E. J. Brill, Leyden 1960b, pp. 89–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-515
- Print publication:
- September 1971
-
- Article
- Export citation