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 条
12345