13631 results in The Journal of Symbolic Logic
Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag New York Inc., 1969, pp. 130–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
- Print publication:
- March 1972
-
- Article
- Export citation
On order-types of models
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
- Print publication:
- March 1972
-
- Article
- Export citation
Joseph S. Ullian. Partial algorithm problems for context free languages. Information and control, vol. 11 (1967), pp. 80–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
- Print publication:
- March 1972
-
- Article
- Export citation
Richard M. Gale. The language of time. Routledge & Kegan Paul, London, and Humanities Press, New York, 1968, viii + 248 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-172
- Print publication:
- March 1972
-
- Article
- Export citation
Uniqueness and characterization of prime models over sets for totally transcendental first-order theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-113
- Print publication:
- March 1972
-
- Article
- Export citation
The positive properties of isolic integers
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-132
- Print publication:
- March 1972
-
- Article
- Export citation
Organization of the Society for Exact Philosophy
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
- Print publication:
- March 1972
-
- Article
- Export citation
The completeness theorem for infinitary logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-34
- Print publication:
- March 1972
-
- Article
- Export citation
Gerald J. Massey. The theory of truth tabular connectives, both truth functional and modal. The journal of symbolic logic, vol. 31 (1966), pp. 593–608. - Gerald J. Massey. Binary connectives functionally complete by themselves in S5 modal logic. The journal of symbolic logic, vol. 32 (1967), pp. 91–92.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
- Print publication:
- March 1972
-
- Article
- Export citation
T. D. Majstrova. Priménénié mnogoznačnoj logiki v téorii réléjnyh shém. Priménénié logiki v nauké i téhnike, Izdaté'stvo Akadémii Nauk SSSR, Moscow1960, pp. 394–414. - T. D. Maǐstrova. Application of many-valued logics in the theory of relay networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 73–89.
-
- 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
Forcing for the impredicative theory of classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-18
- Print publication:
- March 1972
-
- Article
- Export citation
Kazimierz Ajdukiewicz. A method of eliminating intensional sentences and sentential formulae. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Lògica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 17–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
- Print publication:
- March 1972
-
- Article
- Export citation
Jon Barwise. Implicit definability and compactness in infinitary languages. The syntax and semantics of infinitary languages, edited by Jon Barwise, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 1–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-202
- Print publication:
- March 1972
-
- Article
- Export citation
A. Dumitriu. The antinomy of the theory of types. International logic review—Rassegna internazionale di logica (Bologna), vol. 2 no. 3 (1971), pp. 51–54.
-
- 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
Gr. C. Moisil. Zastosowanie algebr Łukasiewicza do teorii ukladów przekaźnikowo-stykowych (Application des algèbres de Łukasiewicz à l'étude des schémas à contacts et relais). Wydawnictwo Polskiej Akademii Nauk, t. I, Varsovie1966, 122 p.; t. II, Varsovie 1967, 121 p.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
- Print publication:
- March 1972
-
- Article
- Export citation
On nonregular ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-74
- Print publication:
- March 1972
-
- Article
- Export citation
Semantics for relevant logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-169
- Print publication:
- March 1972
-
- Article
- Export citation
Shih-Chiano Wang. Ming-t' i yen-suan ti i hsi kung-li (An axiom system for the proposition calculus). Acta mathematica Sinica, vol. 2 no. 4 (1953), pp. 267–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
- Print publication:
- March 1972
-
- Article
- Export citation
R. M. Martin. Existential quantification and the “regimentation” of ordinary language. Mind, n.s. vol. 71 (1962), pp. 525–529.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- March 1972
-
- Article
- Export citation
Manuel Blum. On the size of machines. Information and control, vol. 11 no. 3 (for 1967, pub. 1968), pp. 257–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-200
- Print publication:
- March 1972
-
- Article
- Export citation