Hintikka Style Game Rules for Semi-Fuzzy Quantifiers

Fermüller, Christian G.; Hofer, Matthias

doi:10.1109/ISMVL.2017.57

Record link:

https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3471
http://hdl.handle.net/20.500.12708/891

Title:

Hintikka Style Game Rules for Semi-Fuzzy Quantifiers

Citation:

Fermüller, C. G., & Hofer, M. (2017). Hintikka Style Game Rules for Semi-Fuzzy Quantifiers. In 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL 2017), Novi Sad, Serbia, May 22-24, 2017. IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) 2017, Novi Sad, Serbia. IEEE. https://doi.org/10.1109/ISMVL.2017.57

CatalogPlus:

AC15058950

Publisher DOI:

10.1109/ISMVL.2017.57

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Fermüller, Christian G.
Hofer, Matthias

Organisational Unit:

E192 - Institut für Logic and Computation

Published in:

2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL 2017), Novi Sad, Serbia, May 22-24, 2017

ISBN:

9781509054961

DOI of the book:

10.1109/ISMVL39638.2017

Date (published):

2017

Event name:

IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) 2017

Event date:

22-May-2017 - 24-May-2017

Event place:

Novi Sad, Serbia

Number of Pages:

Publisher:

IEEE

Keywords:

game semantics; Hintikka; semi-fuzzy quantifiers

Abstract:

Extending Hintikka’s game for the evaluation of classical formulas, we explore the realm of quantifier rules that can be defined by combining several moves consisting of choices by the two strategic players, but also by a third non-strategic player ‘Nature’, representing random choices. The simple format of Hintikka-style games is compared to the seemingly much more general one of Giles’s game for Łukasiewicz logic.

Additional information:

The final publication is available via <a href="https://doi.org/10.1109/ISMVL.2017.57" target="_blank">https://doi.org/10.1109/ISMVL.2017.57</a>.

License:

In Copyright

Appears in Collections:

Conference Paper