BIROn - Birkbeck Institutional Research Online

    A correspondence between variable relations and three-valued propositional logic

    Levene, Mark and Loizou, G. (1995) A correspondence between variable relations and three-valued propositional logic. International Journal of Computer Mathematics 55 (1-2), pp. 29-38. ISSN 0020-7160.

    Full text not available from this repository.

    Abstract

    Herein, relations are generalised to variable length tuple relations (variabe relations) wherein tuples are allowed to be of variable length. We define the concept of a functional dependency (FD) holding in variable relations and present a sound and complete axiom system for them. Our main result shows an equivalence between FDs holding in variable relations and propositional implications holding in (a subset of) a three-valued propositional logic. We extend this result to object relations, which are a subclass of variable relations enabling us to view tuples as objects.

    Metadata

    Item Type: Article
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 08 Jun 2021 11:00
    Last Modified: 08 Jun 2021 11:00
    URI: https://eprints.bbk.ac.uk/id/eprint/44657

    Statistics

    Downloads
    Activity Overview
    0Downloads
    6Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item