13629 results in The Journal of Symbolic Logic
Layman E. Allen. Toward more clarity in business communication by modern logical methods. Management science, vol. 5 (1958), pp. 121–135. - Layman E. Allen. Toward a procedure for logically cataloguing knowledge. American documentation, vol. 10 (1959), pp. 296–315.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-164
- Print publication:
- March 1970
-
- Article
- Export citation
Almost combinatorial Skolem functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-72
- Print publication:
- March 1970
-
- Article
- Export citation
A theorem on initial segments of degrees 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-45
- Print publication:
- March 1970
-
- Article
- Export citation
Alan Rose. A formalisation of the ℵ0-valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
- Print publication:
- March 1970
-
- Article
- Export citation
Henry E. KyburgJr. , Probability and the logic of rational belief. Wesleyan University Press, Middletown, Conn., 1961, x + 350 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
- Print publication:
- March 1970
-
- Article
- Export citation
G. N. Povarov. O gruppovoj invariantnosti bulévyh funkcij (On the group invariance of Boolean functions). Priménénié logiki v nauké i téhnike (Application of logic in science and technology), Izdatél′stvo Akadémii Nauk SSSR, Moscow 1960, pp. 263–340.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
- Print publication:
- March 1970
-
- Article
- Export citation
Willard Van Orman Quine. Elementary logic. Revised edition of VI 99. Harper Torchbooks, The Science Library, Harper & Row, Publishers, New York, 1965, and Harvard University Press, Cambridge, Mass., 1966, x + 129 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
- Print publication:
- March 1970
-
- Article
- Export citation
An algebraic characterization of indistinguishable cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-104
- Print publication:
- March 1970
-
- Article
- Export citation
Joseph Barback. Regressive upper bounds. Rendiconti del Seminario Matematico della Università di Padova, vol. 39 (1967), pp. 248–272.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
- Print publication:
- March 1970
-
- Article
- Export citation
Nicholas Rescher. Can there be random individuals? Analysis (Oxford), vol. 18 no. 5 (1958), pp. 114–117. - L. Goddard. Mr. Rescher on random individuals. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 18–20. - J. L. Mackie. The rules of natural deduction. Analysis (Oxford), vol. 18 no. 2 (1958), pp. 27–35. - J. L. Mackie. The symbolising of natural deduction. Analysis (Oxford), vol. 20 no. 2 (1959), pp. 25–37. - Robert Price. Arbitrary individuals and natural deduction. Analysis (Oxford), vol. 22 no. 4 (1962), pp. 94–96. - M. K. Rennie. A correction to Mackie's natural deduction. Logique et analyse, n.s. vol. 10 (1967), pp. 207–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- March 1970
-
- Article
- Export citation
Newton P. Stallknecht and Robert S. Brumbaugh. The compass of philosophy. An essay in intellectual orientation. Longmans, Green and Co., New York, London and Toronto, 1954, xiii + 258 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
- Print publication:
- March 1970
-
- Article
- Export citation
Notice of the Notre Dame Journal of Formal Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- March 1970
-
- Article
- Export citation
Audio recordings of mathematical lectures
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- March 1970
-
- Article
- Export citation
Yoemon Sampei. On the uniformization of a set of class Αρσ. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 67–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
- Print publication:
- March 1970
-
- Article
- Export citation
E. J. Lemmon. An extension algebra and the modal system T. Notre Dame Journal of formal logic, vol. 1 (1960), pp. 3–12. - E. J. Lemmon. Algebraic semantics for modal logics. The journal of symbolic logic, vol. 31 (1966), pp. 46–65; pp. 191–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
- Print publication:
- March 1970
-
- Article
- Export citation
A problem in the theory of constructive order types 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-121
- Print publication:
- March 1970
-
- Article
- Export citation
Ú. I. Žuravlév. Téorétiko-množéstvénnyé métody v algébré logiki (Set-theoretical methods in the algebra of logic). Problémy kibérnétiki, vol. 8 (1962), pp. 5–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
- Print publication:
- March 1970
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. An application of lattices to logic. Fundamenta mathematicae, vol. 42 no. 1 (1955), pp. 83–100.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- March 1970
-
- Article
- Export citation
V. A. Ánkov. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 796–798. - V. A. Jankov. Some superconstructive propositional calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1103–1105. - V. A. Ánkov. O réalizuémyh formulah logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1035–1037. - V. A. Jankov. Realizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1146–1148. - V. A. Ánkov. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1293–1294. - V. A. Jankov. The relationship between deducibility in the intuitionist propositional calculus and finite implicational structures. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1203–1204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
- Print publication:
- March 1970
-
- Article
- Export citation
Antonio Diego. Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz. Collection de logique mathématique, series A, no. 21. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, viii + 55 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
- Print publication:
- March 1970
-
- Article
- Export citation