13629 results in The Journal of Symbolic Logic
Systems of predicative analysis, II: Representations of ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-220
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Subformula theorems for N-sequents
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-179
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Charles Morris. Signification and significance. A study of the relation of signs and values. The M.I.T. Press, Cambridge, Mass., 1964, x + 99 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 317
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Noam Chomsky and George A. Miller. Introduction to the formal analysis of natural languages. Handbook of mathematical psychology, Volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 269–321. - Noam Chomsky. Formal properties of grammars.Handbook of mathematical psychology, Volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 323–418. - George A. Miller and Noam Chomsky. Finitary models of language users.Handbook of mathematical psychology, Volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 419–491.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
- Print publication:
- 23 July 1968
-
- Article
- Export citation
On the Craig-Lyndon interpolation theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-274
- Print publication:
- 23 July 1968
-
- Article
- Export citation
H. Rasiowa. Algebraic models of axiomatic theories. Fundamenta mathematicae, Bd. 41 (1954), S. 291–310. - H. Rasiowa. Constructive theories.Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 2(1954), S. 121–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Ota Weinberger. Théorie des propositions normatives. French, with Polish and Russian summaries. Studia logica, vol. 9 (1960), pp. 7–25. - Jerzy Kaunowski. La norme, l'action et la théorie des propositions normatives. (Réponse à M. Ota Weinberger.) French, with Polish and Russian summaries. Studia logica, vol. 14 (1963), pp. 99–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-312
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Angelo R. Meo. On the determination of the ps maximal implicants of a switching function. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 830–840.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Roberto Cignoli et Antonio Monteiro. Boolean elements in Lukasiewicz algebras. II. Proceedings of the Japan Academy, t. 41 (1965), p. 676–680.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
- Print publication:
- 23 July 1968
-
- Article
- Export citation
H. Rasiowa. A proof of ε-theorems. Ebd., Bd. 3 (1953), S. 299–302. - H. Rasiowa. On the ε-theorems. Fundamenta mathematicae, Bd. 43 (1956), S. 156–165. (Siehe Errata, ebd., Bd. 44 (1957), S. 333.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Michael Dummett. A prepositional calculus with denumerable matrix. The Journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 97–106.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Nonstandard logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-250
- Print publication:
- 23 July 1968
-
- Article
- Export citation
The consistency of Leśniewski's mereology relative to the real number system1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-257
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Gaisi Takeuti and Akiko Kino. On hierarchies of predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 (1962), pp. 199–232. - Akiko Kino and Gaisi Takeuti. A note on predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 (1962), pp. 367–378.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Krister Segerberg. Some modal logics based on a three-valued logic. Theoria (Lund), vol. 33 (1967), pp. 53–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-310
- Print publication:
- 23 July 1968
-
- Article
- Export citation
On Meyer and Lambert's quantificational calculus FQ
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-280
- Print publication:
- 23 July 1968
-
- Article
- Export citation
John Myhill. Notes towards an axiomatization of intuitionistic logic. Logique et analyse, n.s. vol. 9 (1966), pp. 280–297.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Sylvain Bromberger. Questions. The journal of philosophy, vol. 63 (1966), pp. 597–606. - David Harrah. Question generators. The journal of philosophy, vol. 63 (1966), pp. 606–608. - Nuel D. BelnapJr., Questions, answers, and presuppositions. The journal of philosophy, vol. 63 (1966), pp. 609–611.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 310
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Joseph M. Bochenski (I. M. Bocheński). The logic of religion. New York University Press, New York1965, X + 179 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 312-313
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Ivo Thomas. On the infinity of positive logic. Notre Dame journal of formal logic, vol. 3 (1962), p. 108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
- Print publication:
- 23 July 1968
-
- Article
- Export citation