Disjunction and Negation in Information Based Semantics

被引：2
|
作者：
Puncochar, Vit [1 ]
Tedder, Andrew [1 ]
机构：
[1] Czech Acad Sci, Inst Philosophy, Jilska 1, Prague 11000, Czech Republic
来源：
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021) | 2021年 / 13038卷
关键词：
Non-classical logics; Incompatibility; Information; Relational semantics; Negation; Disjunction;
D O I：
10.1007/978-3-030-88853-4_22
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We also compare our semantics to Hartonas'.
引用
收藏
页码：355 / 371
页数：17
相关论文
共 50 条
  • [41] Negation and modality in unilateral truthmaker semantics
    Champollion, Lucas
    Bernard, Timothee
    LINGUISTICS AND PHILOSOPHY, 2024, 47 (04) : 517 - 555
  • [42] Polarity Semantics for Negation as a Modal Operator
    Lin, Yuanlei
    Ma, Minghui
    STUDIA LOGICA, 2020, 108 (05) : 877 - 902
  • [43] Possibilistic Semantics for Logic Programs with Ordered Disjunction
    Confalonieri, Roberto
    Carlos Nieves, Juan
    Osorio, Mauricio
    Vazquez-Salceda, Javier
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2010, 5956 : 133 - +
  • [44] There Is No Logical Negation Here, But There Are Alternatives: Modeling Conversational Negation with Distributional Semantics
    Kruszewski, German
    Paperno, Denis
    Bernardi, Raffaella
    Baroni, Marco
    COMPUTATIONAL LINGUISTICS, 2016, 42 (04) : 637 - 660
  • [45] From Negation to Disjunction in a World of Simulacra: Deleuze and Melanie Klein
    Widder, Nathan
    DELEUZE STUDIES, 2009, 3 (02) : 207 - 230
  • [46] Generalized disjunction-free representation of frequent patterns with negation
    Kryszkiewicz, M
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2005, 17 (1-2) : 63 - 82
  • [47] Logics with Probabilistic Team Semantics and the Boolean Negation
    Hannula, Miika
    Hirvonen, Minna
    Kontinen, Juha
    Mahmood, Yasir
    Meier, Arne
    Virtema, Jonni
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 665 - 680
  • [48] Double Negation Semantics for Generalisations of Heyting Algebras
    Rob Arthan
    Paulo Oliva
    Studia Logica, 2021, 109 : 341 - 365
  • [49] A 2 STEPS SEMANTICS FOR LOGIC PROGRAMS WITH NEGATION
    GABBRIELLI, M
    LEVI, G
    TURI, D
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 297 - 308
  • [50] Double Negation Semantics for Generalisations of Heyting Algebras
    Arthan, Rob
    Oliva, Paulo
    STUDIA LOGICA, 2021, 109 (02) : 341 - 365
12345