13629 results in The Journal of Symbolic Logic
A proof theoretic proof of Scott's general interpolation theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-695
- Print publication:
- December 1972
-
- Article
- Export citation
Ernst-Jochen Thiele. Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 173–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-768
- Print publication:
- December 1972
-
- Article
- Export citation
Gerald J. Massey. Four simple systems of modal propositional logic. Philosophy of science, vol. 32 (1965), pp. 342–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 754
- Print publication:
- December 1972
-
- Article
- Export citation
An extension of Ackermann's set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-704
- Print publication:
- December 1972
-
- Article
- Export citation
J. L. Bell and A. B. Slomson. Models and ultraproducts: An introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 763-764
- Print publication:
- December 1972
-
- Article
- Export citation
Vladimir G. Kirin. On the polynomial representation of operators in the n-valued propositional calculus. Glasnik matematičko-fizički i astronomski (Periodicum mathematico-physicum et astronomicum), ser. 2 vol. 18 (1963), pp. 3–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 756
- Print publication:
- December 1972
-
- Article
- Export citation
S. Feferman and G. Kreisel. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 480–485. - Solomon Feferman. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen1968, pp. 29–52; also Compositio mathematica, vol. 20 (1968), p. 29–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 764-765
- Print publication:
- December 1972
-
- Article
- Export citation
Janusz Chmielewski. Notes on early Chinese logic. Rocznik orientalistyczny, vol. 26 no. 1 (1962), pp. 7–21, no. 2 (1963), pp. 91–105, vol. 27 no. 1 (1963), pp. 103–121, and vol. 28 no. 2 (1965), pp. 87–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 751-752
- Print publication:
- December 1972
-
- Article
- Export citation
Hugues Leblanc. The algebra of logic and the theory of deduction. The journal of philosophy, vol. 58 (1961), pp. 553–558.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 755
- Print publication:
- December 1972
-
- Article
- Export citation
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 721-743
- Print publication:
- December 1972
-
- Article
- Export citation
Frederic B. Fitch. A note on recursive relations. The journal of symbolic logic, vol. 33 (1968), p. 107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 758
- Print publication:
- December 1972
-
- Article
- Export citation
JSL volume 37 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
- Print publication:
- December 1972
-
- Article
-
- You have access
- Export citation
Ludwik Borkowski. Über analytische und synthetische Definitionen. German with Polish and Russian summaries. Studia logica, vol. 4 (1956), pp. 7–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 749-750
- Print publication:
- December 1972
-
- Article
- Export citation
Notices of meetings of the 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, p. 825
- Print publication:
- December 1972
-
- Article
- Export citation
Yiannis N. Moschovakis. Abstract first order computability. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 427–464 and pp. 465–504.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 758
- Print publication:
- December 1972
-
- Article
- Export citation
Lω1ω is enough: a reduction theorem for some infinitary languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-710
- Print publication:
- December 1972
-
- Article
- Export citation
M. D. Gladstone. On the number of variables in the axioms. Notre Dame journal of formal logic, vol. 11 (1970), pp. 1–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-756
- Print publication:
- December 1972
-
- Article
- Export citation
Hugues Leblanc. Boolean algebra and the propositional calculus. Mind, n.s. vol. 71 (1962), pp. 383–386.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 755
- Print publication:
- December 1972
-
- Article
- Export citation
V. V. Višin. Toždéstvénnyé préobrazovaniá v čétyréhznačnoj logiké. Doklady Akadémii Nauk SSSR, vol. 150 (1963), pp. 719–721. - V. V. Višin. Identical transformations in four-place logic. English translation of the preceding by J. N. Whitney. Soviet mathematics, vol. 4 no. 3 (1963), pp. 724–726. - V. L. Murskij. Suščéstvovanié v tréhznačnoj logiké zamknutogo klassa s konéčnym bazisom, ne iméúščégo konéčnoj polnoj sistémy toždéstv. Doklady Akadémii Nauk SSSR, vol. 163 (1965), pp. 815–818. - V. L. Murskiǐ. The existence in three-valued logic of a closed class with finite basis, not having a finite complete system of identities. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 (1965), pp. 1020–1024.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 762-763
- Print publication:
- December 1972
-
- Article
- Export citation
Atwell R. Turquette. Modality, minimality, and many-valuedness. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 261–276.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-754
- Print publication:
- December 1972
-
- Article
- Export citation