Authors
Jouko A Vaananen
University of Helsinki
Abstract
We show that for any pair $\phi$ and $\psi$ of contradictory formulas of dependence logic there is a formula $\theta$ of the same logic such that $\phi\equiv\theta$ and $\psi\equiv\neg\theta$. This generalizes a result of Burgess
Keywords dependence logic   independence friendly logic   team
Categories (categorize this paper)
Reprint years 2011
DOI 10.1215/00294527-2010-036
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Finite Partially-Ordered Quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.
On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
Finite Partially‐Ordered Quantifiers.Herbert B. Enderton - 1970 - Mathematical Logic Quarterly 16 (8):393-397.
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.

View all 9 references / Add more references

Citations of this work BETA

Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
Axiomatizing First-Order Consequences in Independence Logic.Miika Hannula - 2015 - Annals of Pure and Applied Logic 166 (1):61-91.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.

View all 8 citations / Add more citations

Similar books and articles

On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Erratum To: On Definability in Dependence Logic. [REVIEW]Jouko Väänänen - 2011 - Journal of Logic, Language and Information 20 (1):133-134.
From If to Bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.

Analytics

Added to PP index
2010-12-14

Total views
35 ( #329,466 of 2,533,648 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,648 )

How can I increase my downloads?

Downloads

My notes