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 条

[1] On the semantics of classical disjunction
Pym, D
Ritter, E
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2001, 159 (2-3) : 315 - 338
[2] CONJUNCTION, DISJUNCTION, AND NEGATION OF NATURAL CONCEPTS
HAMPTON JAMES, A
[J]. BULLETIN OF THE PSYCHONOMIC SOCIETY, 1986, 24 (05) : 332 - 332
[3] GRACEFULLY ADDING NEGATION AND DISJUNCTION TO PROLOG
POOLE, DL
GOEBEL, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 635 - 641
[4] Greatest surprise reduction semantics: an information theoretic solution to misrepresentation and disjunction
D. E. Weissglass
[J]. Philosophical Studies, 2020, 177 : 2185 - 2205
[5] Greatest surprise reduction semantics: an information theoretic solution to misrepresentation and disjunction
Weissglass, D. E.
[J]. PHILOSOPHICAL STUDIES, 2020, 177 (08) : 2185 - 2205
[6] KATZ ON SEMANTICS OF NEGATION
PATTON, TE
[J]. JOURNAL OF PHILOSOPHY, 1968, 65 (08): : 213 - 231
[7] THE SEMANTICS OF NEGATION IN FRENCH
RITZ, ME
[J]. LANGUE FRANCAISE, 1993, (98): : 67 - 78
[8] Stratified Constructive Disjunction and Negation in Constraint Programming
Gotlieb, Arnaud
Marijan, Dusica
Spieker, Helge
[J]. 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 106 - 113
[9] Negation functions based semantics for ordered linguistic labels
Torra, V
[J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1996, 11 (11) : 975 - 988
[10] Correction to: Greatest surprise reduction semantics: an information theoretic solution to misrepresentation and disjunction
D. E. Weissglass
[J]. Philosophical Studies, 2022, 179 : 3183 - 3184

← 1 2 3 4 5 →