On logics of discovery

This publication has 9 references indexed in Scilit:

• Statistical quantifiers in observational calculi: An application in GUHA-methods
  Theory and Decision, 1975
• The Notion of Logical Consequence in the Logic of Inexact Predicates
  Mathematical Logic Quarterly, 1974
• The characterization of monadic logic
  The Journal of Symbolic Logic, 1973
• Contributions to the theory of semisets: III absolute sets, absolute equivalence and iterations of class‐mappings in the theory of semisets
  Mathematical Logic Quarterly, 1973
• Reducibility among Combinatorial Problems
  Published by Springer Nature ,1972
• Contributions to the Theory of Semisets I. Relations of the theory of semisets to the Zermelo‐Fraenkel set theory
  Mathematical Logic Quarterly, 1972
• Hypothesis generation by machine
  Artificial Intelligence, 1971
• General: Generation of Hypotheses and Theories
  Nature, 1970
• The GUHA method of automatic hypotheses determination
  Computing, 1966