A Remark on Negation in Dependence Logic

被引：15
|
作者：
Kontinen, Juha [1 ]
Vaananen, Jouko [1 ,2 ]
机构：
[1] Univ Helsinki, Dept Math & Stat, FIN-00014 Helsinki, Finland
[2] Univ Amsterdam, ILLC, NL-1090 GE Amsterdam, Netherlands
来源：
NOTRE DAME JOURNAL OF FORMAL LOGIC | 2011年 / 52卷 / 01期
基金：
芬兰科学院;
关键词：
dependence logic; independence friendly logic; team; QUANTIFIERS;
D O I：
10.1215/00294527-2010-036
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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 equivalent to theta and psi = -theta. This generalizes a result of Burgess.
引用
收藏
页码：55 / 65
页数：11
相关论文
共 50 条
  • [1] Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited
    Yang, Fan
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 410 - 431
  • [2] Negation and partial axiomatizations of dependence and independence logic revisited
    Yang, Fan
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (09) : 1128 - 1149
  • [3] A REMARK ON A COMPREHENSION AXIOM WITHOUT NEGATION
    NAGASHIM.T
    PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (05): : 425 - &
  • [4] Negation Without Negation in Probabilistic Logic Programming
    Buchman, David
    Poole, David
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 529 - 532
  • [5] NEGATION IN LOGIC PROGRAMMING
    KUNEN, K
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 289 - 308
  • [6] Philosophy of Logic and Negation
    Heiss, Robert
    ARCHIV FUR DIE GESAMTE PSYCHOLOGIE, 1926, 56 (3-4): : 463 - 538
  • [7] Negation in contextual logic
    Kwuida, L
    Tepavcevic, A
    Seselja, B
    CONCEPTUAL SRUCTURES AT WORK, PROCEEDINGS, 2004, 3127 : 227 - 241
  • [8] Logic and writing of negation
    Pérez, CP
    REVUE D HISTOIRE LITTERAIRE DE LA FRANCE, 2002, 102 (04): : 668 - 668
  • [9] THE LOGIC OF NEGATION IN BOETHIUS
    MARTIN, CJ
    PHRONESIS-A JOURNAL FOR ANCIENT PHILOSOPHY, 1991, 36 (03): : 277 - 304
  • [10] PARACONSISTENT NEGATION AND CLASSICAL NEGATION IN COMPUTATION TREE LOGIC
    Kamide, Norihiro
    Kaneiwa, Ken
    ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : 464 - 469
12345