13629 results in The Journal of Symbolic Logic
A minimal degree not realizing least possible jump
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 571-574
- Print publication:
- September 1974
-
- Article
- Export citation
Alfred Tarski. A simplified formalization of predicate logic with identity. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 61–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-603
- Print publication:
- September 1974
-
- Article
- Export citation
R. A. Bull. On the extension of S4 with CLMpMLp. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 325–329.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
- Print publication:
- September 1974
-
- Article
- Export citation
Models of set theory with more real numbers than ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-583
- Print publication:
- September 1974
-
- Article
- Export citation
Elliott Mendelson. Theory and problems of Boolean algebra and switching circuits. Schaum's outline series, McGraw-Hill Book Company, New York etc. 1970, viii + 213 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 615
- Print publication:
- September 1974
-
- Article
- Export citation
Herbert G. Bohnert. Communication by Ramsey-sentence clause. Philosophy of science, vol. 34 (1967), pp. 341–347. - Israel Scheffler. Reflections on the Ramsey method. The journal of philosophy, vol. 65 (1968), pp. 269–274. - Herbert G. Bohnert. In defense of Ramsey's elimination method. The journal of philosophy, vol. 65 (1968) pp. 275–281. - Ilkka Niiniluoto. Empirically trivial theories and inductive systematization. Logic, probability, and language, edited by Radu J. Bogdan and I. Niiniluoto, D. Reidel Publishing Co., Dordrecht1973, pp. 101–107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-619
- Print publication:
- September 1974
-
- Article
- Export citation
Frank Harary. A very independent axiom system. The American mathematical monthly, vol. 68 (1961), pp. 159–162.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
- Print publication:
- September 1974
-
- Article
- Export citation
Note on deducibility and many-valuedness
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-566
- Print publication:
- September 1974
-
- Article
- Export citation
Ralph McKenzie. Definability in lattices of equational theories. Annals of mathematical logic, vol. 3 no. 2 (1971), pp. 197–237.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 601-602
- Print publication:
- September 1974
-
- Article
- Export citation
Morton L. Schagrin. The language of logic. A programed text. Random House, New York1968, vii + 247 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
- Print publication:
- September 1974
-
- Article
- Export citation
Note on the fan theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 584-596
- Print publication:
- September 1974
-
- Article
- Export citation
Harvey M. Friedman. Determinateness in the low projective hierarchy. Fundamenta mathematicae, vol. 72 no. 1 (1971), pp. 79–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 599
- Print publication:
- September 1974
-
- Article
- Export citation
A. Mostowski. A problem in the theory of models. Bulletin de l' Académie Polonaise des Sciences, Série des sciences hmatématiques, astronomiques et physiques, vol. 10 (1962), pp. 121–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 600
- Print publication:
- September 1974
-
- Article
- Export citation
Reduction of tense logic to modal logic. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-551
- Print publication:
- September 1974
-
- Article
- Export citation
Joseph Horovitz. Law and logic. A critical account of legal argument. Library of Exact Philosophy no. 8, Springer-Verlag, New York and Vienna1972, XVI + 214 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-623
- Print publication:
- September 1974
-
- Article
- Export citation
Modal propositional logic on an orthomodular basis. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-488
- Print publication:
- September 1974
-
- Article
- Export citation
Single premise Post canonical forms defined over one-letter alphabets
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 489-495
- Print publication:
- September 1974
-
- Article
- Export citation
Linear sampling and the ∀∃∀ case of the decision problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-548
- Print publication:
- September 1974
-
- Article
- Export citation
Almost local non-α-recursiveness
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 552-562
- Print publication:
- September 1974
-
- Article
- Export citation
Prime model extensions for differential fields of characteristic p ≠ 0
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-477
- Print publication:
- September 1974
-
- Article
- Export citation