13629 results in The Journal of Symbolic Logic
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. v
- Print publication:
- December 1975
-
- Article
-
- You have access
- Export citation
Bolesław Sobociński. Certain extensions of modal system S4. Notre Dame journal of formal logic, vol. 11 no. 3 (1970), pp. 347–368. - Bolesław Sobociński. Concerning some extensions of S4. Notre Dame journal of formal logic, vol. 12 (1971), pp. 363–370. - G. F. Schumm. Solutions to four modal problems of Sobocinski. Notre Dame journal of formal logic, vol. 12 (1971), pp. 335–340. - J. Jay Zeman. A study of some systems in the neighborhood of S4.4. Notre Dame journal of formal logic, vol. 12 (1971), pp. 341–357. - Bolesław Sobociński. A new class of modal systems. Notre Dame journal of formal logic, vol. 12 (1971), pp. 371–377. - Bolesław Sobociński. A proper subsystem of S4.04. Notre Dame journal of formal logic, vol. 12 (1971), pp. 381–384.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 602
- Print publication:
- December 1975
-
- Article
- Export citation
Michael O. Rabin. Decidability and definability in second-order theories. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 239–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 623
- Print publication:
- December 1975
-
- Article
- Export citation
Heinrich Behmann. Der Prädikatenkalkül mil limitierten Variablen. Grundlegung einer naturlichen exakten Logik. The journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 112–140. - Heinrich Behmann. Das Russellsche Paradoxon und die formale Logik. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12-18 settembre 1958), Volume quinto, Logica, gnoseologia, filosofia delta scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 45–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 583-584
- Print publication:
- December 1975
-
- Article
- Export citation
David Makinson. Remarks on the concept of distribution in traditional logic. Noûs, vol. 3 (1969), pp. 103–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-609
- Print publication:
- December 1975
-
- Article
- Export citation
Bounds for the closure ordinals of replete monotonic increasing functions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-316
- Print publication:
- September 1975
-
- Article
- Export citation
An interpolation lemma for the pure implicational calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-444
- Print publication:
- September 1975
-
- Article
- Export citation
Kazuo Matsumoto. Decision procedure for modal sentential calculus S3. Osaka mathematical journal, vol. 12 no. 1 (1960), pp. 167–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
- Print publication:
- September 1975
-
- Article
- Export citation
I. D. Zaslavskij. Nékotoryé svojstva konstruktivnyh v隡éstvennyh čisél i konstruktivnyh funkcij. Problémy konstruktivnogo napravléniá v matématiké, 2 (Konstruktivnyj matématčéskij analiz), Sbornik robot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 67, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 385–457.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 454
- Print publication:
- September 1975
-
- Article
- Export citation
Ernest W. Adams. Subjunctive and indicative conditionals. Foundations of language, vol. 6 (1970), pp. 89–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- September 1975
-
- Article
- Export citation
Marian Przełȩcki. Postulat empiryczności terminów przyrodniczych (The postulate of the empiricalness of scientific terms). Fragmenty filozoficzne, seria druga, Ksiȩga pamia̧tkowa ku uczczeniu czterdziestolecia pracy nauczycielskiej w Uniwersytecie Warszawskim profesora Tadeusza Kotarbińskiego, Państwowe Wydawnictwo Naukowe, Warsaw1959, pp. 219–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 471
- Print publication:
- September 1975
-
- Article
- Export citation
J. Kotas. Axioms for Birkhoff—υ. Neumann quantum logic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 629–632.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 463-464
- Print publication:
- September 1975
-
- Article
- Export citation
Joseph R. Shoenfield. Degrees of unsolvability. North-Holland mathematical studies 2. North-Holland Publishing Company, Amsterdam-London, and American Elsevier Publishing Company, Inc., New York, 1971, VIII + 111 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-453
- Print publication:
- September 1975
-
- Article
- Export citation
Karl R. Popper. The logic of scientific discovery. Hutchinson & Co., Ltd., London1959, 480 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 471
- Print publication:
- September 1975
-
- Article
- Export citation
Alessandro Padoa. Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque. Bibliothèque du Congrès International de Philosophie, Volume III, Logique et histoire des sciences, Librairie Armand Colin, Paris1901, pp. 309–365.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-527
- Print publication:
- September 1975
-
- Article
- Export citation
Notice of the Proceedings of the Tarski Symposium
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
- Print publication:
- September 1975
-
- Article
- Export citation
E. K. Blum. Towards a theory of semantics and compilers for programming languages. Journal of computer and system sciences, vol. 3 (1969), pp. 248–275.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-471
- Print publication:
- September 1975
-
- Article
- Export citation
Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 9 no. 2 (1957), pp. 113–130. See Correction, Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 10 (1958), p. 147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-467
- Print publication:
- September 1975
-
- Article
- Export citation
L(Q)-preservation theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-418
- Print publication:
- September 1975
-
- Article
- Export citation
Types omitted in uncountable models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-320
- Print publication:
- September 1975
-
- Article
- Export citation