Open Access
Translator Disclaimer
2011 A Remark on Negation in Dependence Logic
Juha Kontinen, Jouko Väänänen
Notre Dame J. Formal Logic 52(1): 55-65 (2011). DOI: 10.1215/00294527-2010-036

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.

Citation

Download Citation

Juha Kontinen. Jouko Väänänen. "A Remark on Negation in Dependence Logic." Notre Dame J. Formal Logic 52 (1) 55 - 65, 2011. https://doi.org/10.1215/00294527-2010-036

Information

Published: 2011
First available in Project Euclid: 13 December 2010

zbMATH: 1216.03048
MathSciNet: MR2747162
Digital Object Identifier: 10.1215/00294527-2010-036

Subjects:
Primary: 03B60 , 03C80

Keywords: dependence logic , independence friendly logic , team

Rights: Copyright © 2011 University of Notre Dame

JOURNAL ARTICLE
11 PAGES


SHARE
Vol.52 • No. 1 • 2011
Back to Top