- Dependence and independence
- Studia Logica
- Volume | Issue number
- 101 | 2
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
We introduce an atomic formula y→⊥x→z→ intuitively saying that the variables y→ are independent from the variables z→ if the variables x→ are kept constant. We contrast this with dependence logic D based on the atomic formula =(x ⃗ ,y ⃗), actually equivalent to y ⃗⊥x→y→, saying that the variables y⃗ are totally determined by the variables x→. We show that y ⃗⊥x→y→ gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence. We show that y ⃗⊥x→y→ can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using =(x ⃗ ,y ⃗) have.
- go to publisher's site
- In special issue: Dependence and Independence in Logic
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.