Game Semantics for Vague Quantification

被引：0

作者：

Fermueller, Christian G. ^{[1
]}

机构：

[1] Vienna Univ Technol, Vienna, Austria

来源：

LOGICA YEARBOOK 2015 | 2016年

关键词：

quantifiers; game semantics; vagueness; fuzzy logic;

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

We survey some ideas for generalizing Hintikka's semantic game for classical logic as well as Giles's game for Lukasiewicz logic to model quantification over vague predicates and with vague quantifiers. Randomized choices of admissible precisifications as well as of witnessing constants emerge as a versatile tool for modeling relevant aspects of vagueness.

引用

页码：71 / 86

页数：16

共 50 条

[21] Dynamic game semantics
Yamada, Norihiro
Abramsky, Samson
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (08) : 892 - 951
[22] GAME-THEORETICAL SEMANTICS, MONTAGUE SEMANTICS, AND QUESTIONS
HAND, M
SYNTHESE, 1988, 74 (02) : 207 - 222
[23] Hybrid clustering of data and vague concepts based on labels semantics
Zengchang Qin
Tao Wan
Hanqing Zhao
Annals of Operations Research, 2017, 256 : 393 - 416
[24] Feature Extraction Using Vague Semantics Approach to Pattern Recognition
Yu, Ying-Hao
Ha, Q. P.
Kou, Kuang-Yuang
Lee, Tsu-Tian
2012 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND INFORMATION SCIENCES (ICCAIS), 2012, : 126 - 131
[25] A Game Semantics for System P
J. Marti
R. Pinosio
Studia Logica, 2016, 104 : 1119 - 1144
[26] Game Semantics in the Nominal Model
Gabbay, Murdoch
Ghica, Dan
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 286 : 173 - 189
[27] Game semantics: Achievements and prospects
Abramsky, S
AUTOMATA LANGUAGES AND PROGRAMMING, 2000, 1853 : 1 - 1
[28] Game Semantics in String Diagrams
Mellies, Paul-Andre
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 481 - 490
[29] A Game Semantics for System P
Marti, J.
Pinosio, R.
STUDIA LOGICA, 2016, 104 (06) : 1119 - 1144
[30] Game Semantics for Bounded Polymorphism
Laird, James
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 55 - 70

← 1 2 3 4 5 →