13629 results in The Journal of Symbolic Logic
R. Routley. Decision procedures and semantics for C1, E1 and S0.50. Logique et analyse, n.s. vol. 11 (1968), pp. 468–471.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- June 1973
-
- Article
- Export citation
Mark Fisher. A system of deontic-alethic modal logic. Mind, n.s. vol. 71 (1962), pp. 231–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 327
- Print publication:
- June 1973
-
- Article
- Export citation
John T. Kearns. Combinatory logic with discriminators. The journal of symbolic logic, vol. 34 (1969), pp. 561–575.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- June 1973
-
- Article
- Export citation
Thomas J. Jech. Two remarks on elementary embeddings of the universe. Pacific journal of mathematics, vol. 39 (1971), pp. 395–400.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
- Print publication:
- June 1973
-
- Article
- Export citation
P. F. Strawson. Individuals. An essay in descriptive metaphysics. Methuen & Co., Ltd., London 1959, 255 pp.; also paperbound reprint, Anchor Books, Doubleday & Company, Inc., Garden City, N.Y., 1963, xvi + 263 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-323
- Print publication:
- June 1973
-
- Article
- Export citation
R. V. Možarov. Ob odnom priznaké polnoty sistémy funkcij algébry logiki (On a sign of completeness of functions system of logic algebra). Avtomatika i téléméhanika, vol. 26, (1965), pp. 1644–1645. - R. V. Mozharov. One method for testing the completeness of systems of logical functions. English translation of the preceding. Automation and remote control, vol. 26 (for 1965, pub. 1966), pp. 1592–1593.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- June 1973
-
- Article
- Export citation
Yu. T. Medvedev. Finite problems. English translation of XXXVIII 356(20) by Elliott Mendelson. Soviet mathematics, vol. 3 no. 1 (1962), pp. 227–230. - Yu. T. Medvedev. Interpretation of logical formulas by means of finite problems and its relation to the readability theory. English translation of XXXVIII 356(21) by Sue Ann Walker. Soviet mathematics, vol. 4 no. 1 (1963), pp. 180–183. - Ju. T. Medvedev. Interpretation of logical formulas by means of finite problems. English translation of XXXVIII 356(22) by Sue Ann Walker. Soviet mathematics, vol. 7 no. 4 (1966), pp. 857–860.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
- Print publication:
- June 1973
-
- Article
- Export citation
R. Sikorski. A topological characterization of open theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 259–260.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
- Print publication:
- March 1973
-
- Article
- Export citation
Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 (1965), pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 99–100.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-156
- Print publication:
- March 1973
-
- Article
- Export citation
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-92
- Print publication:
- March 1973
-
- Article
- Export citation
The diversity of quantifier prefixes1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-85
- Print publication:
- March 1973
-
- Article
- Export citation
R. L. Goodstein. Truth tables. The mathematical gazette, vol. 46 (1962), pp. 18–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
- Print publication:
- March 1973
-
- Article
- Export citation
The consistency of number theory via Herbrand's theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-58
- Print publication:
- March 1973
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristika aksiomatiziruémyh klassov modélej. II. (Characterization of axiomatizable classes of models. II.) Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 25 (1961), pp. 755–764.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
- Print publication:
- March 1973
-
- Article
- Export citation
Kurt Hauschild. Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt. Fundamenta mathematicae, vol. 72 no. 3 (1971), pp. 245–253.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
- Print publication:
- March 1973
-
- Article
- Export citation
Vlad Boicescu. Sur la représentation des algèbres de Lukasiewicz n-valentes. Comptes rendus hebdomadaires des séances de l'Acaéimie des Sciences, sér. A t. 270 (1970), p. 4–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 153
- Print publication:
- March 1973
-
- Article
- Export citation
Elementary intuitionistic theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-134
- Print publication:
- March 1973
-
- Article
- Export citation
Andrzej Grzegorczyk. An unfinitizability proof by means of restricted reduced power. Fundamenta mathematicae, vol. 73 no. 1 (1971), pp. 37–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-161
- Print publication:
- March 1973
-
- Article
- Export citation
J. J. C. Smart. Introduction. Problems of space and time, Readings selected, edited and furnished with an introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, pp. 1–23. - G. E. M. Anscombe. Aristotle and the sea battle; De interpretatione, Chapter IX. A revised version of XXI 388, with some omissions and additions. Problems of space and time, Readings selected, edited and furnished with an introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, pp. 43–57. - Ernest Nagel. Space and geometry. A reprint of Chapter 8 of The structure of science by Ernest Nagel. Problems of space and time, Readings selected, edited and furnished with an introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, pp. 178–213. - Nelson Goodman. Time and language, and the passage of time. A partial reprint of sections 2–3 of Chapter XI of XVII 130. Problems of space and time, Readings selected, edited and furnished with an introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, pp. 356–369 - W. V. Quine. Time. Reprinted from the first part of section 36 of Word and object by W. V. Quine. Problems of space and time, Readings selected, edited and furnished with an introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, pp. 370–374. - W. V. Quine. Geometrical objects. Reprinted from section 52 of the same. Problems of space and time, Readings selected, edited and furnished with an introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, pp. 375–380.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- March 1973
-
- Article
- Export citation
Permutation methods applied to Quine's “New foundations”
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-76
- Print publication:
- March 1973
-
- Article
- Export citation