Kallick Bruce. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by Morrell A. J. H., North-Holland Publishing Company, Amsterdam 1969, pp. 269–275 [Book Review]

Journal of Symbolic Logic 38 (4):656-656 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

McCarthy J.. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September 1962, edited by Popplewell Cicely M., North-Holland Publishing Company, Amsterdam 1963, pp. 21–28.McCarthy John. Problems in the theory of computation. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume I, edited by Kalenich Wayne A., Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 219–222. [REVIEW]Richard J. Orgass - 1971 - Journal of Symbolic Logic 36 (2):346-347.
Wang Hao. Formalization and automatic theorem-proving. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume 1, edited by Kalenich Wayne A., Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 51–58. [REVIEW]Joyce Friedman - 1974 - Journal of Symbolic Logic 39 (2):350-350.
Keisler H. J.. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62. [REVIEW]H. -D. Ebbinghaus - 1974 - Journal of Symbolic Logic 39 (2):334-335.
Troelstra A. S.. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 201–223. [REVIEW]R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):332-332.
Montague R.. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 63–86. [REVIEW]Carl E. Gordon - 1973 - Journal of Symbolic Logic 38 (1):158-159.
Hintikka Jaakko. Induction by enumeration and induction by elimination. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Lakatos Imre, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 191–216. [REVIEW]Henry E. Kyburg - 1975 - Journal of Symbolic Logic 40 (3):448-449.
A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 , pp. 477–507. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 197–207. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
Review: Bruce Kallick, A Decision Procedure Based on the Resolution Method. [REVIEW]Joyce Friedman - 1973 - Journal of Symbolic Logic 38 (4):656-656.
Rabin Michael O.. Weakly definable relations and special automata. Mathematical logic and foundations of set theory, Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 1–23. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
Tarski A.. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by Arnold Schmidt H., Schütte K., and Thiele H.-J., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 275–288. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.

Analytics

Added to PP
2016-06-30

Downloads
16 (#907,028)

6 months
2 (#1,198,893)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references