Hintikka Style Game Rules for Semi-Fuzzy Quantifiers

Hofer, Matthias F. J.; Fermüller, Christian G.

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:

Hofer, M. F. J., & Fermüller, C. G. (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. https://doi.org/10.1109/ISMVL.2017.57

CatalogPlus:

AC15058950

Publisher DOI:

10.1109/ISMVL.2017.57

Publication Type:

Inproceedings - Full-Paper Contribution

Konferenzbeitrag - Full-Paper Contribution

Language:

English

Authors:

Hofer, Matthias F. J.
Fermüller, Christian G.

Organisational Unit:

E192 - Institut für Logic and Computation

ISBN:

9781509054961

Date (published):

2017

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