13629 results in The Journal of Symbolic Logic
Post completeness in modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 711-715
- Print publication:
- December 1972
-
- Article
- Export citation
Carl G. Hempel. Aspects of scientific explanation. Aspects of scientific explanation and other essays in the philosophy of science, by Carl G. Hempel, The Free Press, New York, and Collier-Macmillan Ltd., London, 1965, pp. 331–496.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 747-749
- Print publication:
- December 1972
-
- Article
- Export citation
C. Boucher. Leçons sur la théorie des automates mathématiques. Lecture notes in operations research and mathematical systems, no. 46, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VIII + 193 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
- Print publication:
- December 1972
-
- Article
- Export citation
A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 (1970), pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 (for 1970, pub. 1971), pp. 1614–1619.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 757
- Print publication:
- December 1972
-
- Article
- Export citation
A. V. Kuznecov. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 56–72.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-757
- Print publication:
- December 1972
-
- Article
- Export citation
Andrzej Mostowski. Recent results in set theory. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 82–96. - G. Kreisel, A. Robinson, L. Kalmár, and A. Mostowski. Discussion. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 97–108. - Andrzej Mostowski. O niektórych nowych wynikach meta-matematycznych dotyczących teorii mnogości (On some new metamathematical results concerning set theory). Polish with Russian and English summaries. Studia logica, vol. 20 (1967), pp. 99–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 765-766
- Print publication:
- December 1972
-
- Article
- Export citation
Copeland algebras1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 646-656
- Print publication:
- December 1972
-
- Article
- Export citation
M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik (unveröffentlicht). The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 53–67. - Gerhard Gentzen. Investigations into logical deduction. Neudruck von XXXV 144 mit geringen Änderungen. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 68–131. - Gerhard Gentzen. The consistency of elementary number theory. Englische Übersetzung von I 75. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 132–201. - Gerhard Gentzen. Appendix to #4. Englische Übersetzung der bisher unveröffentlichten ersten Version von 14.1–16.11 des vorhergehenden Werkes. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 201–213. - Gerhard Gentzen. The consistency of the simple theory of types. Englische Übersetzung von I 119. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 214–222. - Gerhard Gentzen. The concept of infinity in mathematics. Englische Übersetzung von II 95. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 223–233. - Gerhard Gentzen. The present state of research into the foundations of mathematics. Englische Übersetzung von III 166. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 234–251. - Gerhard Gentzen. New version of the consistency proof for elementary number theory. Englische Übersetzung von IV 31. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 252–286. - Gerhard Gentzen. Provability and nonprovability of restricted transfinite induction in elementary number theory. Englische Übersetzung von IX 70. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 287–308. - Gerhard Gentzen. Fusion of several complete inductions. Englische Übersetzung des Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen, Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 (1954), S. 1–3. Ebd., S. 309–311. (Deutsches Original auch veröffentlicht in Archiv für Philosophie, Bd. 5 Heft 1 (1954), S. 81–83.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 752-753
- Print publication:
- December 1972
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 770-774
- Print publication:
- December 1972
-
- Article
- Export citation
G. J. Warnock. Metaphysics in logic. A revised reprint of XXXV 455. Essays in conceptual analysis, selected and edited by Antony Flew, Macmillan & Co. Ltd., London, and St. Martin's Press, New York, 1956, pp. 75–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 750
- Print publication:
- December 1972
-
- Article
- Export citation
S. Issman. Le nominalisme contemporain et la notion d'existence. Logique et analyse, n.s. vol. 1 (1958), pp. 61–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 750-751
- Print publication:
- December 1972
-
- Article
- Export citation
Σ1-compactness and ultraproducts
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-672
- Print publication:
- December 1972
-
- Article
- Export citation
α-degrees of α-theories1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 677-682
- Print publication:
- December 1972
-
- Article
- Export citation
Anjan Shukla. Decision procedures for Lewis system S1 and related modal systems. Notre Dame journal of formal logic, vol. 11 (1970), pp. 141–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 754-755
- Print publication:
- December 1972
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 783-824
- Print publication:
- December 1972
-
- Article
- Export citation
Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2, edited by Franz L. Alt, Academic Press, New York and London1961, pp. 379–421.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 760
- Print publication:
- December 1972
-
- Article
- Export citation
ZF ⊦ Σ40 determinateness
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-667
- Print publication:
- December 1972
-
- Article
- Export citation
Janusz Chmielewski. La logica degli antichi Cinesi. Rivista degli studi orientali, vol. 38 (1963), pp. 161–168.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 752
- Print publication:
- December 1972
-
- Article
- Export citation
Karl R. Popper. The demarcation between science and metaphysics. A reprint of XXXVI 533. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, pp. 183–226. - John G. Kemeny. Carnap's theory of probability and induction. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, pp. 711–738. - Arthur W. Burks. On the significance of Carnap's system of inductive logic for the philosophy of induction. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, pp. 739–759. - Hilary Putnam. “Degree of confirmation” and inductive logic. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, pp. 761–783. - Ernest Nagel. Carnap's theory of induction. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, pp. 785–825. - Rudolf Carnap. K. R. Popper on the demarcation between science and metaphysics. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, pp. 877–881. - Rudolf Carnap. Probability and induction. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 11, Open Court, La Salle, Ill., and Cambridge University Press, London, 1963, pp. 966–998.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-633
- Print publication:
- September 1972
-
- Article
- Export citation
Some representations of Diophantine sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 572-578
- Print publication:
- September 1972
-
- Article
- Export citation