The University of Southampton
University of Southampton Institutional Repository

Rationally functional dependence

Rationally functional dependence
Rationally functional dependence
Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong's axioms.
Axiomatization, Completeness, Dependency, Rationality
0022-3611
603-616
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb

Naumov, Pavel and Nicholls, Brittany (2014) Rationally functional dependence. Journal of Philosophical Logic, 43 (2-3), 603-616. (doi:10.1007/s10992-013-9283-5).

Record type: Article

Abstract

Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong's axioms.

This record has no associated files available for download.

More information

Accepted/In Press date: 21 March 2013
Published date: 1 June 2014
Keywords: Axiomatization, Completeness, Dependency, Rationality

Identifiers

Local EPrints ID: 475938
URI: http://eprints.soton.ac.uk/id/eprint/475938
ISSN: 0022-3611
PURE UUID: c6b2875a-e00f-40e5-b38d-303ccec66638
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 31 Mar 2023 16:42
Last modified: 17 Mar 2024 04:10

Export record

Altmetrics

Contributors

Author: Pavel Naumov ORCID iD
Author: Brittany Nicholls

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×