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.

Official URL: https://doi.org/10.1080/00207169508804360

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:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	08 Jun 2021 11:00
Last Modified:	09 Aug 2023 12:51
URI:	https://eprints.bbk.ac.uk/id/eprint/44657

Statistics

Archive Staff Only (login required)

Edit/View Item