Hintikka Style Game Rules for Semi-Fuzzy Quantifiers

Fermüller, Christian G.; Hofer, Matthias

doi:10.1109/ISMVL.2017.57

Datensatz Zitierlink:

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

Titel:

Hintikka Style Game Rules for Semi-Fuzzy Quantifiers

Zitat:

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

Verlags-DOI:

10.1109/ISMVL.2017.57

Publikationstyp:

Konferenzbeitrag - Full-Paper Contribution

Sprache:

Englisch

Autor_innen:

Fermüller, Christian G.
Hofer, Matthias

Organisationseinheit:

E192 - Institut für Logic and Computation

Erschienen in:

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

ISBN:

9781509054961

DOI des Buches:

10.1109/ISMVL39638.2017

Datum (veröffentlicht):

2017

Veranstaltungsname:

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

Veranstaltungszeitraum:

22-Mai-2017 - 24-Mai-2017

Veranstaltungsort:

Novi Sad, Serbien

Umfang:

Verlag:

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.

Weitere 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>.

Lizenz:

Urheberrechtsschutz

Enthalten in den Sammlungen:

Conference Paper