Baidu
map

A Simple Logic of Functional Dependence

Baltag, A; van Benthem, J

Baltag, A (corresponding author), Univ Amsterdam, Inst Log Language & Computat ILLC, POB 94242, NL-1090 GE Amsterdam, Netherlands.

JOURNAL OF PHILOSOPHICAL LOGIC, ; ():

Abstract

This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atom......

Full Text Link


Baidu
map
Baidu
map
Baidu
map