Dependence and Independence
Tóm tắt
Từ khóa
Tài liệu tham khảo
Armstrong, W. W., Dependency structures of data base relationships, Information Processing 74, 1974.
Chandra, Ashok K., and Moshe Y. Vardi, The implication problem for functional and inclusion dependencies is undecidable, SIAM Journal on Computing 14(3):671– 677, 1985.
Galliani Pietro: Inclusion and Exclusion in Team Semantics: On some logics of imperfect information. Annals of Pure and Applied Logic 163(1), 68–84 (2012)
Hintikka, Jaakko, The principles of mathematics revisited, Cambridge University Press, Cambridge, 1996. Appendix by Gabriel Sandu.
Hodges, Wilfrid, Compositional semantics for a language of imperfect information, Log. J. IGPL 5(4):539–563 (electronic), 1997.
Kontinen, Juha, and Jouko Väänänen, On definability in dependence logic, J. Log. Lang. Inf. 18(3):317–332, 2009.
Väänänen, Jouko, Dependence logic, volume 70 of London Mathematical Society Student Texts, Cambridge University Press, Cambridge, 2007.