13631 results in The Journal of Symbolic Logic
Jean E. Rubin. Bi-modal logic, double-closure algebras, and Hilbert space. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 8 (1962) pp. 305–322.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- March 1972
-
- Article
- Export citation
T. Traczyk. Prime ideals in generalized Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 369–373.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 189
- Print publication:
- March 1972
-
- Article
- Export citation
Semantic analysis of tense logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-158
- Print publication:
- March 1972
-
- Article
- Export citation
Karl Schröter. Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln. Zeitschrift für mthematische Logik und Grundlagen der mathematik, vol. 2 (1956), pp. 218–227.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 194
- Print publication:
- March 1972
-
- Article
- Export citation
A. N. Prior. Some axiom-pairs for material and strict implication. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 61–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
- Print publication:
- March 1972
-
- Article
- Export citation
Patrick Suppes. Nelson Goodman on the concept of logical simplicity. Philosophy of science, vol. 23 (1956), pp. 153–159.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
- Print publication:
- March 1972
-
- Article
- Export citation
N. V. Bélákin. Modélirovanié mašin T'úringa na sétkah (Simulation of Turing machines on nets). Diskrétnyj analiz, no. 1 (1963), pp. 32–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
- Print publication:
- March 1972
-
- Article
- Export citation
-arithmetic and transfinite induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-30
- Print publication:
- March 1972
-
- Article
- Export citation
Minimum models of analysis1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 48-54
- Print publication:
- March 1972
-
- Article
- Export citation
John G. Kemeny. Two measures of complexity. The journal of philosophy, vol. 52 (1955), pp. 722–733.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
- Print publication:
- March 1972
-
- Article
- Export citation
A. J. Baker. Presupposition and types of clause. Mind, n.s. vol. 65 (1956), pp. 368–378.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- March 1972
-
- Article
- Export citation
C. Goekoop. The logic of invariable concomitance in the Tattvacintāmaṇi, Gaṅgeśa's Anumitinirūpaṇa and Vyāptivāda, with introduction, translation, and commentary. D. Reidel Publishing Company, Dordrecht1967, X + 162 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
- Print publication:
- March 1972
-
- Article
- Export citation
Henry E. KyburgJr., A modest proposal concerning simplicity. The philosophical review, vol. 70 (1961), pp. 390–395.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
- Print publication:
- March 1972
-
- Article
- Export citation
David Sachs. The lattice of subalgebras of a Boolean algebra. Canadian journal of mathematics, vol. 14 (1962), pp. 451–460.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-191
- Print publication:
- March 1972
-
- Article
- Export citation
Applications of trees to intermediate logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-138
- Print publication:
- March 1972
-
- Article
- Export citation
B. Scarpellini. A characterization of Δ2-sets. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 441–450.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 193
- Print publication:
- March 1972
-
- Article
- Export citation
J. Myhill. Problems arising in the formalization of intensional logic. Logique et analyse, n.s. vol. 1 (1958), pp. 74–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
- Print publication:
- March 1972
-
- Article
- Export citation
Robert Ackermann. Some remarks on Kyburg's modest proposal. The philosophical review, vol. 71 (1962), pp. 236–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
- Print publication:
- March 1972
-
- Article
- Export citation
A new proof of a theorem of Shelah
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- March 1972
-
- Article
- Export citation
Gr. C. Moisil. Le algebre di Lukasiewicz. Analele Universitǎţii Bucureşti, seria Acta logica, vol. 6 (1963), pp. 97–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- March 1972
-
- Article
- Export citation