26 results
Absence of shock-like reactions to ivermectin in dogs infected with Dirofilaria immitis
-
- Journal:
- Journal of Helminthology / Volume 57 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 05 June 2009, pp. 279-281
-
- Article
- Export citation
Surface and Microstructural Characterization of Homoepitaxial Silicon Grown by Pulsed Laser Deposition
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 616 / 2000
- Published online by Cambridge University Press:
- 10 February 2011, 75
- Print publication:
- 2000
-
- Article
- Export citation
From Augustine to Gregory the Great: an Evaluation of the Emergence of the Doctrine of Purgatory
-
- Journal:
- The Journal of Ecclesiastical History / Volume 38 / Issue 2 / April 1987
- Published online by Cambridge University Press:
- 25 March 2011, pp. 173-186
- Print publication:
- April 1987
-
- Article
- Export citation
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
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