83 results
Storrs McCall and R. K. Meyer. Pure three-valued Łukasiewiczian implication. The journal of symbolic logic, vol. 31 (1966), pp. 399–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Helmut Thiele. Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 93–106. - Helmut Thiele. Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 108–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
- Print publication:
- August 1967
-
- Article
- Export citation
Federico M. Sioson. Further axiomatizations of the Łukasiewicz three-valued calculus. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 62–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-501
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Hector-Neri Castaneda. A note on S5. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 191–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 275
- Print publication:
- June 1966
-
- Article
- Export citation
Arto Salomaa. On infinitely generated sets of operations infinite algebras. Annales Universitatis Turkuensis, series A, I, Astronomica-chemica-physica-mathematica, no. 74. Turun Yliopisto, Turku1964, 13 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
- Print publication:
- March 1966
-
- Article
- Export citation
Bolesław Sobociński. A note concerning the many-valued propositional calculi. Notre Dame journal of formal logic, vol. 2 (1961), pp. 127–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- March 1966
-
- Article
- Export citation
Burton Dreben. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
- Print publication:
- September 1965
-
- Article
- Export citation
Jean W. Butler. On complete and independent sets of truth functions in multi-valued logics. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 78–80. - Jean W. Butler. On complete and independent sets of operations in finite algebras. Pacific journal of mathematics, vol. 10 (1960), pp. 1169–1179.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
- Print publication:
- June 1965
-
- Article
- Export citation
Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. II. Annales Universitatis Turkuensis, Series AI, no. 63. Turun Yliopisto, Turku1963, 19 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- March 1965
-
- Article
- Export citation
A. A. Zinov′ev. Philosophical problems of many-valued logic. Revised edition, edited and translated by Guido Küng and David Dinsmore Comey. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, 1963, XIV + 155 pp. - Guido Küng and David Dinsmore Comey. Foreword from the editors. Therein, pp. VII–IX. - Anonymous. Bibliography of the publications of Aleksandr Aleksandrovič Zinov′ev. Therein, pp. X–XI. - A. A. Zinov′ev. Author's preface. Therein, pp. XII–XIV. - Guido Küng and David Dinsmore Comey. Translators' notes. Therein, pp. 149–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
- Print publication:
- December 1964
-
- Article
- Export citation
Independent Axioms for Infinite-Valued Logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-221
- Print publication:
- September 1963
-
- Article
- Export citation
Eric Foxley. The determination of all Sheffer functions in 3-valued logic, using a logical computer. Notre Dame journal of formal logic, vol. 3 (1962), pp. 41–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
- Print publication:
- June 1963
-
- Article
- Export citation
Arto Salomaa. On the number of simple bases of the set of f unctions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 52, Turun Yliopisto, Turku1962, 4 pp. - Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 53, Turku1962, 10 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
- Print publication:
- June 1962
-
- Article
- Export citation
Henry Hiż. Extendióle sentential calculus. The journal of symbolic logic, vol. 24 no. 3 (for 1959, pub. 1960), pp. 193–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
- Print publication:
- September 1960
-
- Article
- Export citation
Arto Salomaa. On many-valued systems of logic. Ajatus, vol. 22 (1959), pp. 115–159. - Arto Salomaa. On the composition of functions of several variables ranging over a finite set. Annales Universitatis Turkuensis, Series A, Turun Yliopisto, Turku1960, 48 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-293
- Print publication:
- September 1960
-
- Article
- Export citation
Gustav Bergmann. Sense and nonsense in operationism. The validation of scientific theories, edited, with an introduction, by Philipp G. Frank, The Beacon Press, Boston1956, pp. 41–52. (Reprinted from The scientific monthly, vol. 79 (1954), pp. 210–214). - Carl G. Hempel. A logical appraisal of operationism. A reprint of XXIII 354. The validation of scientific theories, edited, with an introduction, by Philipp G. Frank, The Beacon Press, Boston1956, pp. 52–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
- Print publication:
- September 1960
-
- Article
- Export citation
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 (1958), pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 (1958), p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 (1958), pp. 55–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
- Print publication:
- September 1959
-
- Article
- Export citation
Albert E. Avey. Recent schools of logic. A history of philosophical systems, edited by Vergilius Ferm, The Philosophical Library, New York1950, pp. 504–515. - Gustav Bergmann. Logical positivism. A history of philosophical systems, edited by Vergilius Ferm, The Philosophical Library, New York1950, pp. 471–482. Reprinted in The metaphysics of logical positivism, by Gustav Bergmann, Longmans, Green and Co., New York, London, Toronto 1954, pp. 1–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
- Print publication:
- June 1959
-
- Article
- Export citation
Simplified axioms for many-valued quantification theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-148
- Print publication:
- June 1958
-
- Article
- Export citation
Max Black. Abstract and abstraction. Encyclopaedia Britannica, Encyclopaedia Britannica, Inc., Chicago-London-Toronto1956, Vol. 1, pp. 67–68; also Max Black. Abstract and abstraction. Encyclopaedia Britannica, Encyclopaedia Britannica, Inc., Chicago-London-Toronto 1957, Vol. 1, pp. 67–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 22-29
- Print publication:
- March 1958
-
- Article
- Export citation