Switch to: References

Add citations

You must login to add citations.
  1. Functional dependencies, supervenience, and consequence relations.I. L. Humberstone - 1993 - Journal of Logic, Language and Information 2 (4):309-336.
    An analogy between functional dependencies and implicational formulas of sentential logic has been discussed in the literature. We feel that a somewhat different connexion between dependency theory and sentential logic is suggested by the similarity between Armstrong's axioms for functional dependencies and Tarski's defining conditions for consequence relations, and we pursue aspects of this other analogy here for their theoretical interest. The analogy suggests, for example, a different semantic interpretation of consequence relations: instead of thinking ofB as a consequence of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • A Logical Approach to Reasoning by Analogy.Todd R. Davies & Stuart J. Russell - 1987 - In John P. McDermott (ed.), Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI'87). Morgan Kaufmann Publishers. pp. 264-270.
    We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations