13629 results in The Journal of Symbolic Logic
Erik Stenius. Mood and language-game. Synthese, vol. 17 (1967), pp. 254–274. - Dagfinn Føllesdal. Comments on Stenius's ‘Mood and language-game.’ Synthese, vol. 17 (1967), pp. 275–280. - Lennart Åqvist. Semantic and pragmatic characterizability of linguistic usage. Synthese, vol. 17 (1967), pp. 281–291.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- March 1970
-
- Article
- Export citation
L. Kalmár. Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variabeln abhängig sind. Colloquium mathematicum, vol. 5 no. 1 (1957), pp. 1–5.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
- Print publication:
- March 1970
-
- Article
- Export citation
On an algebra of sets of finite sequences 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-28
- Print publication:
- March 1970
-
- Article
- Export citation
Frederic B. Fitch. Recursive functions in basic logic. The journal of symbolic logic, vol. 21 (1956), pp. 337–346.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
- Print publication:
- March 1970
-
- Article
- Export citation
H. H. LoomsJr. , and R. H. WymanJr. , On complete sets of logic primitives. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 173–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
- Print publication:
- March 1970
-
- Article
- Export citation
JSL volume 35 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1970
-
- Article
-
- You have access
- Export citation
A. Mostowski. Axiomatizability of some many valued predicate calculi. Fundamenta mathematicae, vol. 50 (1961), pp. 165–190.
-
- 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
Peter B. Andrews. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 367–381. (See Correction, ibid., p. 720.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
- Print publication:
- March 1970
-
- Article
- Export citation
Dieter Titgemeyer. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 (1965), pp. 45–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-156
- Print publication:
- March 1970
-
- Article
- Export citation
Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 135
- Print publication:
- March 1970
-
- Article
- Export citation
Wacław Sierpiński. L'axiome du choix. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 257–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- March 1970
-
- Article
- Export citation
Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
- Print publication:
- March 1970
-
- Article
- Export citation
Eric Foxley. Determination of the set of all four-variable formulae corresponding to universal decision elements using a logical computer. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 302–314.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
- Print publication:
- March 1970
-
- Article
- Export citation
Patrick Suppes. Measurement, empirical meaningfulness, and three-valued logic. Measurement: Definitions and theories, edited by C. West Churchman and Philburn Ratoosh, John Wiley & Sons, Inc., New York, and Chapman & Hall, Limited, London 1959, pp. 129–143. - Patrick Suppes. Logics appropriate to empirical theories. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Co., Amsterdam 1965, pp. 364–375.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-131
- Print publication:
- March 1970
-
- Article
- Export citation
The number of countable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 14-18
- Print publication:
- March 1970
-
- Article
- Export citation
R. M. Baer. Certain directed Post systems and automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 151–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
- Print publication:
- March 1970
-
- Article
- Export citation
Noam Chomsky. Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T. Press, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1969, x + 251 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
- Print publication:
- March 1970
-
- Article
- Export citation
Henry E. KyburgJr. , Probability and randomness. Theoria (Lund), vol. 29 (1963), pp. 27–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- March 1970
-
- Article
- Export citation
A. Robinson. Model theory and non-standard arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 265–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
- Print publication:
- March 1970
-
- Article
- Export citation
R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
- Print publication:
- March 1970
-
- Article
- Export citation