13629 results in The Journal of Symbolic Logic
Hans G. Herzberger. The truth-conditional consistency of natural languages. The journal of philosophy, vol. 64 (1967), pp. 29–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
- Print publication:
- 26 April 1968
-
- Article
- Export citation
An algebraic study of tense logics with linear time
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 27-38
- Print publication:
- 26 April 1968
-
- Article
- Export citation
P. B. Andrews. A transfinite type theory with type variables. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, xv + 143 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Tsutomu Hosoi. Algebraic proof of the separation theorem on classical propositional calculus. Proceedings of the Japan Academy, vol. 42 (1966), pp. 67–69. - Tsutomu Hosoi. Algebraic proof of the separation theorem on Dummett's LC. Proceedings of the Japan Academy, vol. 42 (1966), pp. 693–695.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
- Print publication:
- 26 April 1968
-
- Article
- Export citation
John Riser. A Gentzen-type calculus of sequents for single-operator propositional logic. The Journal of symbolic logic, vol. 32 (1967), pp. 75–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Hjalmar Wennerberg. Peirce's theory of meaning. Filosofiska studier tillägnade Konrad Marc-Wogau den 4 April 1962, edited by Ann-Mari Henschen-Dahlquist, mimeographcd, Filosofiska Föreningen i Uppsala, Uppsala1962, pp. 35–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Jan Łukasiewicz and Alfred Tarski. Badania nad rachunkiem zdań. Polish translation of 4071A by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 129–143.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Functional completeness in one variable
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Fred J. Sansone. A mapping of regressive isols. Illinois journal of mathematics, vol. 9 (1965), pp. 726–735.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
- Print publication:
- 26 April 1968
-
- Article
- Export citation
A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 95–99. - A. Robinson. On the mechanization of the theory of equations. Bulletin of the Research Council of Israel, vol. 9F no. 2 (1960), pp. 47–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
- Print publication:
- 26 April 1968
-
- Article
- Export citation
F. J. Sansone. Combinatorial functions and regressive isols. Pacific journal of mathematics, vol. 13 (1963), pp. 703–707.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
- Print publication:
- 26 April 1968
-
- Article
- Export citation
B. A. Trahténbrot. T′úringovy vyčisléniá s logarifmičéskim zamédléniém (Turing computations with logarithmic delay). Algébra i logika, Séminar, vol. 3 no. 4 (1964), pp. 33–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Fred J. Sansone. On order-preserving extensions to regressive isols. The Michigan mathematical journal, vol. 13 (1966), pp. 353–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
- Print publication:
- 26 April 1968
-
- Article
- Export citation
G. H. R. Parkinson. Introduction. Leibniz, Logical papers, A selection translated and edited with an introduction by G. H. R. Parkinson, Clarendon Press, Oxford1966, pp. ix–Ixv. - Gottfried Wilhelm Leibniz. From Of the art of combination (1666). English translation of a portion of 11 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 1–11. - Gottfried Wilhelm Leibniz. Elements of a calculus (April, 1679). English translation of 114 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 17–24. - Gottfried Wilhelm Leibniz. Rules from which a decision can be made, by means of numbers, about the validity of inferences and about the forms and moods of categorical syllogisms (April, 1679). English translation of 118 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 25–32. - Gottfried Wilhelm Leibniz. A specimen of the universal calculus (1679–86?). English translation of 111 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 33–39. - Gottfried Wilhelm Leibniz. Addenda to the specimen of the universal calculus (1679–86?). English translation of 111 (without the three concluding paragraphs from Couturat) by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 40–46. - Gottfried Wilhelm Leibniz. General inquiries about the analysis of concepts and of truths (1686). English translation of 129 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 47–87. - Gottfried Wilhelm Leibniz. The primary bases of a logical calculus (1 August 1690). English translation of 133 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 90–92. - Gottfried Wilhelm Leibniz. The bases of a logical calculus (2 August 1690). English translation of 134 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 93–94. - Gottfried Wilhelm Leibniz. An intensional account of immediate inference and the syllogism (‘Logical definitions’). English translation of 18 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 112–114. - Gottfried Wilhelm Leibniz. A paper on ‘some logical difficulties’ (after 1690). English translation of 13 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 115–121. - Gottfried Wilhelm Leibniz. A study in the plus-minus calculus (‘A not inelegant specimen of abstract proof’) (after 1690). English translation of 16 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 122–130. - Gottfried Wilhelm Leibniz. A study in the calculus of real addition (after 1690). English translation of 112 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 131–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-140
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Structures elementarily closed relative to a model for arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-104
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Hugues Leblanc. On so-called degrees of confirmation. The British Journal for the philosophy of science, vol. 10 (1959–1960) pp. 312–315. - K. R. Popper. Probabilistic independence and corroboration by empirical tests. The British Journal for the philosophy of science, vol. 10 (1959–1960) pp. 315–318.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- 26 April 1968
-
- Article
- Export citation
George Pitcher. Introduction. Truth, edited by George Pitcher, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1964, pp. 1–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Jan Łukasiewicz. Podstawy logiczne rachunku prawdopodobieństwa. Polish translation of IV 174(1) by Egon Viclrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 76–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 130
- Print publication:
- 26 April 1968
-
- Article
- Export citation
J. Kuntzmann. Algèbre de Boole. Dunod, Paris1965, xxii + 319 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Lars Svenonius. Ett förslag till en begränsning av uttrycksmedlen i predikatlogiken (A proposal for a restriction on the means of expression in the predicate calculus). Filosofiska studier tillägnade Konrad Marc-Wogau den 4 April 1962, edited by Ann-Mari Henschen-Dahlquist, mimeographcd, Filosofiska Föreningen i Uppsala, Uppsala1962, pp. pp. 113–123.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- 26 April 1968
-
- Article
- Export citation